4 books in this genre
ZB 2003
Jonathan P. Bowen
Exercices corrigés en langage Z
Pascal André
Understanding Z
J. M. Spivey
The Object-Z Specification Language
Graeme Smith
