Broy, Manfred <br/><br/>
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement 

 - New York  Springer-Verlag  2001 
 - 348p. 
<br/><br/><label>ISBN: </label>9780387950730