@techreport{BM:tutorial,
  title = "A Tutorial on Proof in {Standard Z}",
  author = "Stephen M. Brien and Andrew P. Martin",
  year = "1995",
  address = "Wolfson Building, Parks Road, Oxford, OX1 3QD, UK",
  institution = "Programming Research Group, Oxford University Computing Laboratory",
  isbn = "0-902928-94-5",
  note = "Presented at ZUM'95",
  number = "PRG-120",
}