TY  - BOOK
AU  - Broy, Manfred.
AU  - Stolen, Ketil.
TI  - Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement : (MCS)
SN  - 0 387 95073 7
CY  - New York
KW  - Software Engineering
KW  - Systems Engineering
ER  -