Formal differentiation a program synthesis technique - Paige, Robert A (Ann Arbor, Mich. : UMI Research Press, 1981)
Revision of thesis (Ph.D.)--New York University, 1979
Bibliography : p.271-274
Keywords: Electronic digital computers -- Programming; Algorithms