@inproceedings{zml,
  title = "{ZML}: {XML} Support for {Standard Z}",
  author = "Mark Utting and Ian Toyn and Jing Sun and Andrew Martin and Jin Song Dong and Nicholas Daley and David W. Currie",
  year = "2003",
  booktitle = "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland,
June 4-6, 2003, Proceedings",
  editor = "Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'e}n",
  isbn = "3-540-40253-5",
  pages = "437-456",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2651",
}