Peter Van Roy <br/><br/>
Concepts, techniques, and models of computer programming 

 - Cambridge  The MIT Press  2004 
 - xxvii, 900p  index, ill. 
<br/><br/><label>ISBN: </label>978-0-262-22069-9 
<br/><br/><label>Dewey Class. No.: </label>005.1ROY