Z an introduction to formal methods
Diller, Antoni.
Chichester Wiley
1990
Includes bibliographies and index
Z (Computer program language)