@incollection{BC-ETSWE.2008.262-280,
 author = {Hai H. Wang and Jin Song Dong and Jing Sun and Terry Payne and Nick Gibbins and Yuan Fang Li and Jeff Pan},
 title = {{An Integrated Formal Approach to Semantic Work Environments Design}},
 booktitle = {{Emerging Technologies for Semantic Work Environments: Techniques, Methods,and Applications}},
 pages = {262-280},
 publisher = {Information Science Reference},
 isbn = {978-1-59904-877-2},
 month = {June},
 year = {2008}
}