Recursive Functions of Symbolic Expressions and Their Computation by Machine

www-formal.stanford.edu