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