@misc{ISOZ,
  title = "Information Technology---{Z} Formal Specification Notation---Syntax, Type System and Semantics",
  author = "ISO/IEC 13568:2002",
  note = "International Standard",
}