@inproceedings{ICFEM.2002.156-167,
 author = {Jin Song Dong and Jing Sun and Hai Wang},
 title = {{Z Approach to Semantic Web}},
 booktitle = {ICFEM '02: Proceedings of the 4th International Conference on Formal Engineering Methods},
 month = {October},
 year = {2002},
 location = {Shanghai, China},
 isbn = {3-540-00029-1},
 pages = {156-167},
 publisher = {Springer-Verlag},
 address = {London, UK},
 url = {http://www.springerlink.com/content/px1wflupraaw4jl4/}
}