Interactive Systems. Design Specification, and Verification - Michael D. Harrison - E-bok | Bokus