TY  - BOOK
AU  - Broy,Manfred
AU  - Stolen,Ketil
TI  - Specification and development of interactive systems: focus on streams, interfaces and refinement 
T2  - Monographs in computer science
SN  - 0387950737
AV  - QA76.758  .B76 2001
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Software engineering
KW  - Systems engineering
ER  -