TY  - BOOK
AU  -  Andrew Harry
TI  - Formal Methods Fact File: Vdm And Z
SN  - 9780471958574
U1  - 005.12 HAR 
PY  - 1996///
PB  -  John Wiley & Sons
ER  -