Computability of Recursive Functions

John C. Shepherdson, Howard E. Sturgis. Computability of Recursive Functions. Journal of the ACM, 10(2):217-255, 1963. [doi]

Abstract

Abstract is missing.