Recursive Functions of Symbolic Expressions and Their Computation (1960) [pdf]jmc.stanford.edu14 pointscapableweb3 years ago