author : J. Michael Spivey

Books

• Understanding Z. 1988
• The Z Notation. 1989
• The Z Notation: 2nd edn. 1992

Short works

• The algebra of searching. 2000. (In Millennial Perspectives in Computer Science )
• Combinators for logic programming. 2003. (In The Fun of Programming )

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.