Barrack, J. “Recursive Functions and Regressive Isols”. MATHEMATICA SCANDINAVICA 15 (June 1, 1964): 29–42. Accessed May 3, 2024. https://www.mscand.dk/article/view/10724.