3 works on record
Interactive systems
Design specification and verification of interactive systems '97
1997
Interactive Systems. Design Specification, and Verification