3 books
Introduction Formal Specification And Z
An Introduction to Formal Specification and Z
An Introduction to Formal Specifications and Z