Barrack J. Recursive Functions and Regressive Isols. Math. Scand. 1964;15:29-42. doi:10.7146/math.scand.a-10724