Interactive Systems. Design, Specification, and Verification by Hutchison, David - undifferentiated | Lex | Lex