TY  - BOOK
AU  - Prehn, S
AU  - Toetenel, W J
TI  - VDM '91 Formal Software development methods
T2  - Lecture Notes in Computer Science
SN  - 0387548343
U1  - 005.3 
PY  - 0000///xii, 698p
CY  - New York
PB  - Springer Verlag
ER  -