TY  - BOOK
AU  - Hubmann, H.
TI  - Formal foundations for software engineering methods : Lecture notes in computer science:Proceedings
SN  - 0003540636137
U1  - 005.11 
PB  - Springer: Tokyo
KW  - software engineering :
ER  -