Specification and Development of Interactive Systems (2001)

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