Barrack, J. “Recursive Functions and Regressive Isols”. Mathematica Scandinavica 15 (June 1, 1964): 29–42. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2622.