TY  - BOOK
AU  - Prehn, S
AU  - Toetenel, W
TI  - VDM  91 formal software development methods
SN  - 3540548343
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Software development
ER  -