Recursive functions of one variable

Julia Robinson
1968 Proceedings of the American Mathematical Society  
doi:10.1090/s0002-9939-1968-0230618-2 fatcat:hjmgv2nh7vdgjdnqera7vq4x2m