Interactive Systems. Design, Specification, and Verification - Ann Blandford - E-bok | Bokus