Limiting recursion and the arithmetic hierarchyG. Criscuolo, E. Minicozzi and G. TrautteurR.A.I.R.O. Informatique théorique, 9 R3 (1975) 5-12DOI: https://doi.org/10.1051/ita/197509R300051
