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