Barrack, J. (1964) “Recursive Functions and Regressive Isols”., MATHEMATICA SCANDINAVICA, 15, pp. 29–42. doi: 10.7146/math.scand.a-10724.