TY  - BOOK
AU  - Dillev, Antoni
TI  - Z an introduction to formal methods
SN  - 0-471-93973-0
U1  - 005.12 DIL'Z 
PY  - 1994///
CY  - NEWYORK
PB  - JOHN WILEY
KW  - Z (COMPUTER PROGRAM LANGUAGE)
ER  -