TY  - BOOK
AU  - Hussmann, Heinrich
TI  - Formal foundations for software engineering methods
SN  - 9783540636137
SN  - 97031867
U1  - 005.1 HUB 
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Software engineering
N1  - Includes bibliographical references (p. [271]-277) and index
ER  -