@inproceedings{ZB.2003.437-456,
 author = {Mark Utting and Ian Toyn and Jing Sun and Andrew Martin and Jin Song Dong and Nicholas Daley and David Currie},
 title = {{ZML: XML Support for Standard Z}},
 booktitle = {ZB 2003: Proceedings of the 3rd International Conference of B and Z Users},
 location = {Turku, Finland},
 month = {June},
 year = {2003},
 issn = {0302-9743},
 pages = {437-456},
 publisher = {Springer},
 address = {Berlin, Germany},
 url = {http://www.springerlink.com/content/d2xtmkqfym6thjnu/}
}