Moldestad, J., and V. Stoltenberg-hansen. “Finite Alogorithmic Procedures and Inductive Definability”. Mathematica Scandinavica 46 (June 1, 1980): 62–76. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/1795.