Formal methods in human computer interaction / 
edited by Michael Harrison and Harold Thimbleby 
 - Cambridge :  Cambridge University Press,  2009 
 - xi, 323 p. :  ill. ;  26 cm. 
 - Cambridge series on human-computer interaction  2 .
 - Cambridge series on human-computer interaction  2 .
<br/><br/> First published 1990 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521448673 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Human--Computer interaction