Automated reasoning and its applications :  essays in honnor of Larry Wos / 
ed. by Robert Veroff 
 - Cambridge :  MIT Press,  1997 
<br/><br/><label>ISBN: </label>0262220555  RM168.84