Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement - Broy, Manfred; Stølen, Ketil (Springer New York, 2001)