Formal methods in human-computer interaction /
Palanque, Philippe,1966-
Paternó, Fabio,1960-
London : Springer,
c1998.
Includes index
Human-computer interaction.