Formal methods in human-computer interaction - Palanque, Philippe, (Springer, 1997)
Includes bibliographical references and index.