Barrack, J. “Recursive Functions and Regressive Isols”. MATHEMATICA SCANDINAVICA 15 (June 1, 1964): 29–42. Accessed August 14, 2026. https://tidsskrift.dk/math/article/view/10724.