Dale Miller, Gopalan Nadathur <br/><br/>
Programming with Higher-order Logic 

 -  Cambridge University Press  2012 
 - 306 
<br/><br/><label>ISBN: </label>9780521879408 
<br/><br/><label>Dewey Class. No.: </label>005.115 MIL