@book{Woodcock&Davies96:Using,
  title = "Using {Z}: Specification, Refinement, and Proof",
  author = "J. Woodcock and J. Davies",
  year = "1996",
  lccn = "96004347",
  publisher = "Prentice Hall International",
}