Specification and development of interactive systems focus on streams, interfaces and refinement - Broy, Manfred 1949-; Stølen, Ketil (Monographs in computer science, 2001)