Specification and Development of Interactive Systems (2001)

by M Broy, K Stølen
Venue:Focus on Streams, Interfaces, and Refinement