@inproceedings{FME.2002.587-606,
 author = {Jin Song Dong and Jing Sun and Hai Wang},
 title = {{Semantic Web for Extending and Linking Formalisms}},
 booktitle = {FME '02: Proceedings of the International Symposium of Formal Methods Europe},
 location = {Copenhagen, Denmark},
 month = {July},
 year = {2002},
 isbn = {3-540-43928-5},
 pages = {587-606},
 publisher = {Springer-Verlag},
 address = {London, UK},
 url = {http://www.springerlink.com/content/fq58544ed21xg5ut/} 
}