Manna, Zohar. <br/><br/>
Studies in automatic programming logic   
by Zohar Manna, Richard Wadlinder 
 - New York  North-Holland  1977 
 - viii, 192p. 
 - Artificial Intelligence Series .
<br/><br/><label>ISBN: </label>0444002243 
<br/><br/><label>Dewey Class. No.: </label>001.642  / N774