author : J. Michael Spivey

Books

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

Papers/Articles

• 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

 

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

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

 

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

 

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