On some points of the theory of recursive functions (1954)

by J W Addison