Formal methods in human-computer interaction - Harrison, M. D. (Michael D.); Thimbleby, Harold (Cambridge : Cambridge University Press, 1990)
Includes bibliographical references (p. [297]-316) and index
Keywords: Human-computer interaction; Formal methods (Computer science)