Formal differentiation a program synthesis technique
Paige, Robert.
Ann Arbor, Mich. UMI Research Press
c1981
Includes index
Bibliography: p. [271]-273
Electronic digital computers
Algorithms.