TY  - BOOK
AU  - Harry, Andrew
TI  - Formal methods fact file : VDM and Z
SN  - 0-471-94006-2
U1  -  005.1 
PY  - 1996///
ER  -