Recursive Functions of Symbolic Expressions and Their Computation (1960) [pdf]www-formal.stanford.edu3 pointsheadalgorithm7 years ago