TY  - BOOK
AU  - Broy,Manfred
AU  - Stølen,Ketil
TI  - Specification and development of interactive systems: focus on streams, interfaces, and refinement 
SN  - 0387950737
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Software engineering
KW  - Systems engineering
ER  -