@inproceedings{Martin_and_Simpson_2003,
  title = "Generalizing the {Z} Schema Calculus: Database Schemas and Beyond",
  author = "A. P. Martin and A. C. Simpson",
  year = "2003",
  booktitle = "Proceedings of APSEC, 2003",
}