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