TY  - BOOK
AU  - Hubmann Heinrich
TI  - Formal foundations for software engineering methods
SN  - 3-540-63613-7
U1  - 005.1 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Software engineering
ER  -