@techreport{3791,
  title = "Towards a Formal Semantics for the Z Notation",
  author = "Mike Spivey",
  year = "1984",
  institution = "OUCL",
  month = "October",
  number = "PRG41",
  pages = "28",
}