Robinson. Recursive Functions of One Variable. JSTOR, 1968, doi:10.2307/2035317.