Design, specification and verification of interactive systems '95 : - Palanque, Phillipe, 1966-; Bastide, R. (Rémi) (Eurographics (Series), 1995)