Design, Specification and Verification of Interactive Systems `98Eurographics Workshop (1998 Abingdon, UK)₹1,999
