TY  - BOOK
AU  - Paige,Robert A
TI  - Formal differentiation: a program synthesis technique
T2  - Computer science
PY  - 1981///
CY  - Ann Arbor, Mich.
PB  - UMI Research Press
KW  - Electronic digital computers
KW  - Programming
KW  - Algorithms
N1  - Revision of thesis (Ph.D.)--New York University, 1979; Bibliography : p.271-274
ER  -