TY  - BOOK
AU  - Jacky, Jonathan
TI  - The way of Z practical programming with formal methods
SN  - 0-521-55976-6
U1  - 001.6424 Jac 
PY  - 1997///
CY  - Cambridge University Press, Cambridge
ER  -