Formal methods in human-computer interaction - Palangue, Philippe; Paterno, Fabio, 1960- (Formal Approaches to Computing and Information technology, 1998)