Formal methods in human computer interaction
Harrison, Michael,19---
Thimbleby, Harold.
Cambridge Cambridge University Press
1990
Includes bibliographies and index
Interactive computer systems.
Human-machine systems.