TY  - BOOK
AU  - Harrison,Michael,ed
AU  - Thimbleby,Harold,ed
TI  - Formal methods in human-computer interaction
SN  - 052137202X
U1  - 001.642 
PY  - 1990///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer programs
KW  - Programs and programming
N1  - Includes index; Bibliography: p.297-316
ER  -