TY  - BOOK
AU  - Harry, Andrew
TI  - Formal methods fact file: VDM and Z 
SN  - 0471958573
PY  - 1996///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Computer software
KW  - Development
N1  - Includes glossary and index
ER  -