"Finite Differencing of Computable Expressions."

Robert Paige, Shaye Koenig (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics