Recursive Functions of Symbolic Expressions and Their Computation (1960)www-formal.stanford.edu·61 pts·DennisCooper·6