Title: Z: An Introduction to Formal Methods / Edition 2, Author: Antoni Diller
Title: The Way of Z: Practical Programming with Formal Methods / Edition 1, Author: Jonathan Jacky
Title: The Object-Z Specification Language / Edition 1, Author: Graeme Smith