TY  - BOOK
AU  - Dawes,John
TI  - The VDM-SL reference guide
SN  - 0273031511
U1  - 005.1/3/D269 
PY  - 1991///
CY  - London
PB  - Pitman
KW  - Computer program language
ER  -