Hehner, Eric C. R. <br/><br/>
The logic of programming 

 - Prentice-hall international, United kingdom  1984 
 - 361 
<br/><br/><label>ISBN: </label>0-13-539966-1 
<br/><br/><label>Dewey Class. No.: </label>001.642 Heh