Moldestad, J., and V. Stoltenberg-hansen. “Finite Alogorithmic Procedures and Computation Theories”. MATHEMATICA SCANDINAVICA 46 (June 1, 1980): 77–94. Accessed April 28, 2024. https://www.mscand.dk/article/view/11853.