Recursive Functions of Symbolic Expressions and Their Compu…
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I : http://www-formal.stanford.edu/jmc/recursive.pdf
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I : http://www-formal.stanford.edu/jmc/recursive.pdf