General Recursive Functions of Natural Numbers’, Mathematische Annalen 112 (1936)

by S C Kleene