TY  - BOOK
AU  - Diller,Antoni
TI  - Z: an introduction to formal methods 
SN  - 0471939730
AV  - QA76.73 .Z2D55 1994
PY  - 1994///
CY  - Chichester
PB  - John Wiley
KW  - Computer program language
KW  - Formal methods
KW  - Computer science
ER  -