Computability of recursive functions (1963)

by J C Shepherdson, J E Sturgis
Venue:Journal of the ACM