@inproceedings{APM:Relating-FM,
  author = "Andrew Martin",
  booktitle = "FM'99 -- Formal Methods",
  editor = "Jeanette M. Wing and Jim Woodcock and Jim Davies",
  month = "sep",
  number = "1708,1709",
  pages = "1266--1280",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Relating {Z} and first-order logic",
  year = "1999",
}