Paige, Robert A <br/><br/>
Formal differentiation  a program synthesis technique 
by Robert A. Paige 
 - Ann Arbor, Mich. :  UMI Research Press,  1981 
 - 277 p. :  24 cm. 
 - Computer science  no. 7 .
 - Computer science  Artificial intelligence  no. 7 .
<br/><br/>Revision of thesis (Ph.D.)--New York University, 1979 
<br/><br/>Bibliography : p.271-274 
<br/><br/><label>LCCN: </label>81-7632 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming<br/>Algorithms