J. Barrack, “Recursive Functions and Regressive Isols”., Math. Scand., vol. 15, pp. 29–42, Jun. 1964, doi: 10.7146/math.scand.a-10724.