@inproceedings{Simpson_and_Martin_2003,
  title = "Supplementing the understanding of {Z}: a formal approach to database design",
  author = "A. C. Simpson and A. P. Martin",
  year = "2003",
  booktitle = "Proceedings of the BCS Teaching Formal Methods workshop",
  publisher = "BCS",
}