TY  - BOOK
AU  - Bloomfield R
ED  - VDM-Europe Symposium( 2nd : 1988 : Dublin )
ED  - VDM-Europe Symposium 2nd
TI  - VDM -a formal method at work : proceedings
SN  - 3-540-50214-9
U1  - 5.3 
PY  - 1988///
CY  - Berlin
PB  - Springer Verlag
KW  - software development
KW  - VDM
ER  -