Specification and development of interactive systems : focus on streams, interfaces, and refinement - Broy, M. 1949- (Springer, 2001)