TY  - BOOK
AU  -  Andrews,derek 
TI  - Practical formal methods with vdm 
SN  - 0077072146
U1  - 005.1 AND 
CY  -  Mcgraw hill 
KW  -  Computer software-development
ER  -