Formal method in human computer interaction - Cambridge: Cambridge University Press, 1990 - xv, 323p. ISBN: 0-521-37202-X Subjects--Topical Terms: Computer science Subjects--Index Terms: Computer interaction Universal Decimal Class. No.: D 007 / N0