Books

Short works

Books : reviews

J. Michael Spivey.
Understanding Z: a specification language and its formal semantics.
CUP. 1988

(read but not reviewed)

Mike Spivey's D.Phil thesis: not an introductory level text.

J. Michael Spivey.
The Z Notation: a reference manual.
Prentice-Hall. 1989

(read but not reviewed)

J. Michael Spivey.
The Z Notation: a reference manual: 2nd edn.
Prentice Hall. 1992

(read but not reviewed)

The essential reference for any reader or writer of Z specifications, now available on-line.