@inproceedings{ICFEM.2005.480-494,
 author = {Jing Sun and Hai Wang and Sasanka Athauda and Tazkiya Sheik},
 title = {{SVG Web Environment for Z Specification Language}},
 booktitle = {ICFEM '05: Proceedings of the 7th International Conference on Formal Engineering Methods},
 month = {November},
 year = {2005},
 location = {Manchester, United Kingdom},
 isbn = {978-3-540-29797-0},
 pages = {480-494},
 publisher = {Springer-Verlag},
 address = {Berlin, Germany},
 url = {http://www.springerlink.com/content/b32qm5428l117543/}
}