@inproceedings{WWW.2001.725-734,
 author = {Jing Sun and Jin Song Dong and Jing Liu and Hai Wang},
 title = {{Object-Z Web Environment and Projections to UML}},
 booktitle = {WWW '01: Proceedings of the 10th international conference on World Wide Web},
 location = {Hong Kong, China},
 month = {May},
 year = {2001},
 isbn = {1-58113-348-0},
 pages = {725-734},
 doi = {http://doi.acm.org/10.1145/371920.372189},
 publisher = {ACM Press},
 address = {New York, NY, USA}
}