Z : an introduction to formal methods - Diller, Antoni (Chichester [England] ; New York : J. Wiley, New York : New York : New York, 1990)
Includes bibliographical references (p. 289-299) and index.
Keywords: Z (Computer program language)