Michael D Harrison

• Design, Specification and Verification of Interactive Systems '97