TY  - GEN
AU  - Diller, Antoni
TI  - Z: an introduction to formal methods
SN  - 0471939730
PY  - 1994///
CY  - Chichester
PB  - John Wiley
KW  - COMPUTER SOFTWARE
KW  - COMPUTER PROGRAMMING LANGUAGES-Z
KW  - Z
ER  -