TY  - BOOK
AU  - BJORNER,D AND JONES
TI  - VDM,87 VDM-A FORMAL METHODS WORK
PY  - 1987///
PB  - SPRINGER
ER  -