Formal Differentiation - A Program Synthesis Technique (1981)

by Robert Paige