TY  - GEN
AU  - Hubmann, Heinrich
TI  - Formal foundations for software engineering methods
SN  - 3540636137
U1  - 004.21 
PY  - 1997///
CY  - New York
PB  - Springer
KW  - Systems analysis and design
KW  - Computer science
ER  -