TY  - GEN
AU  - Jacky, Jonathan
AU  - Jacky, Jonathan
TI  - The way of Z: practical programming with formal methods
SN  - 9 780521 559768
U1  - 004.43 JAC 
PY  - 1997///
CY  - Cambridge
PB  - Cambridge University press
KW  - Z (Computer program language)
ER  -