TY  - BOOK
AU  - Prehn S
ED  - International Symposium of VDM Europe( 4th : 1991 : Netherlands )
ED  - International Symposium of VDM Europe 4th
TI  - VDM '91, formal software development methods : proceedings: v 2 : tutorials
U1  - 5.3 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Software development
ER  -