Design, Specification and Verification of Interactive Systems '97Michael D. Harrison, Juan Carlos Torres₹2,209
