Kant, Elaine. <br/><br/>
Efficiency in program synthesis / 
by Elaine Kant. 
 - Ann Arbor, Mich. :  UMI Research Press,  1981. 
 - 162 p. ;  23 cm. 
<br/><br/>Revision of thesis (Ph.D.)--Stanford University, 1979. 
<br/><br/>Includes bibliographical references (p. 155-158) and index. 
<br/><br/><label>ISBN: </label>083571215X (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming.