Z (Computer program language) - Books

· Introduction to Formal Specification and Z (2nd Edition)
· Refinement in Z and Object-Z: Foundations and Advanced Applications
· The Object Z Specification Language
· The Way of Z : Practical Programming with Formal Methods
· The Z Notation
· Z: An Introduction to Formal Methods, 2nd Edition
· Zb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878)
· Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272)