Formal methods in human-computer interaction 
edited by Michael Harrison and Harold Thimbleby 
 - Cambridge  Cambridge University Press  1990 
 - xvii,323p.  26cm 
<br/><br/> Includes index 
<br/><br/>Bibliography: p.297-316 
<br/><br/><label>ISBN: </label>052137202X  ः29.65 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs
<br/><br/><label>Subjects--Index Terms: </label>Programs and programming 
<br/><br/><label>Dewey Class. No.: </label>001.642  / FOR