Title: Interactive Systems:Design, Specification, and Verification
Subjects: Logic design, Information storage and retrieval systems, Computer science, Software engineering