Formal methods in human-computer interaction - Palanque, Philippe; Paterno, Fabio (London: Springer, 1997)
Includes bibliographical references and index.
Keywords: Human -- Computer interaction