Zohar Manna ,Richard Waldinger <br/><br/>
The logical basis for computer programming 

 - 
 -  Addison-Wesley Publishing  1985 
 - 618 
<br/><br/>  
<br/><br/><label>ISBN: </label>0-201-18260-2 
<br/><br/><label>Dewey Class. No.: </label>004.43