TY  - BOOK
AU  - Woodman, Mark.
TI  - Introduction to VDM / Mark Woodman and Benedict Heal
SN  - 0077074343
CY  - London ; New York : McGraw Hill Book Co., c1993.
PB  - London ; New York : McGraw Hill Book Co., c1993.
KW  -  Computer software -- Development
ER  -