*** primitive and general recursive functions Péter Rózsa http://en.wikipedia.org/wiki/Rozsa_Peter Péter, Rózsa; Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion. (German) Math. Ann. 110 (1935), no. 1, 612--632. http://www.springerlink.com/content/v10nn06n471258g2/?p=9250f4da627a470aa4322f6bae74bc1b&pi=0 http://gdz.sub.uni-goettingen.de/index.php?id=11&no_cache=1&IDDOC=37918&IDDOC=37918&branch=&L=1 http://www.digizeitschriften.de/index.php?id=loader&tx_jkDigiTools_pi1[IDDOC]=363710 Péter, Rózsa. 1967. Recursive Functions. Translated by István Földes. New York: Academic Press. *** general and partial recursive functions Stephen Cole Kleene http://en.wikipedia.org/wiki/Kleene http://math.library.wisc.edu/bibliography.html "General recursive functions of natural numbers." Mathematische Annalen, vol. 112 (1936): 727-742. Reprinted with addendum in: Undecidable; Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. ed. by Martin Davis, Raven Press Books, 1965. http://www.springerlink.com/content/p11t718324483v87/?p=3152688fd20349fbb5bec82577483c97&pi=0 http://www.springerlink.com/content/p11t718324483v87/fulltext.pdf?page=1 http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/img/?IDDOC=37355 Introduction to Metamathematics. D. Van Nostrand Co., Inc., New York, N. Y., 1952. *** recursive functions and LISP John McCarthy http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist) http://www-formal.stanford.edu/jmc/ McCarthy, J. 1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3(4):184-195. http://www-formal.stanford.edu/jmc/recursive.html McCarthy, J. 1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland. http://www-formal.stanford.edu/jmc/basis.html