@article{APM:Relating-FACS,
  author = "A. P. Martin",
  journal = "Formal Aspects of Computing",
  pages = "199--209",
  title = "Relating {Z} and First-order logic",
  volume = "12",
  year = "2000",
}