TY  - BOOK
AU  - Jacky, Jonathan
TI  - The Way of Z Practical Programming with Formal Methods 
SN  - 0521559766
U1  - 005.12 
PY  - 1997///
CY  - Cambridge : 
PB  - Cambridge University Press, 
KW  - Z Computer Program Language
N1  - YY
UR  - https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-521-55976-6.pdf
ER  -