T. C. Nicholas Graham Books

Interactive Systems. Design, Specification, and Verification