J. Barrack, “Recursive Functions and Regressive Isols”., Math. Scand., vol. 15, pp. 29–42, Jun. 1964.