@inproceedings{ICFEM.2002.311-322,
 author = {Jin Song Dong and Yuan-Fang Li and Jing Sun and Jun Sun and Hai Wang},
 title = {{XML-Based Static Type Checking and Dynamic Visualization for TCOZ}},
 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 = {311-322},
 publisher = {Springer-Verlag},
 address = {London, UK},
 url = {http://www.springerlink.com/content/h34fwn0grwv56rrg/}
}