TY  - BOOK
AU  - Diller,Antoni
TI  - Z: an introduction to formal methods 
SN  - 0471939730
PY  - 1994///
CY  - Chichester, West Sussex, England, New York
PB  - Wiley
KW  - Z (Computer program language)
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references (p. 357-362) and index
UR  - http://www.loc.gov/catdir/toc/onix06/94004943.html
ER  -