Title: The Way of Z: Practical Programming with Formal Methods, Author: Jonathan Jacky
Title: Z: An Introduction to Formal Methods, Author: Antoni Diller