Barstow, David R. <br/><br/>
Knowledge-based program construction 
David R. Barstow 
 - New York  Elsevier North-Holland  1979 
 - 262p. 22cm 
 - Programming languages series ; 6 .
<br/><br/> Includes indexes 
<br/><br/>Bibliography: p.249-255 
<br/><br/><label>ISBN: </label>0444003401 044400341Xpbk 
<br/><br/><label>LCCN: </label>79-13538 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming