TY  - BOOK
AU  - Diller, Antoni
TI  - Z An Introduction to Formal Methods 
SN  - 0471939730
U1  - 005.12 
PY  - 1994///
CY  - Chichester : 
PB  - John Wiley, 
KW  - Z Computer Program Language
N1  - YY
UR  - https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-471-93973-0.pdf
ER  -