Moldestad J, Stoltenberg-hansen V. Finite alogorithmic procedures and computation theories. Math. Scand. [Internet]. 1980 Jun. 1 [cited 2026 Aug. 13];46:77-94. Available from: https://tidsskrift.dk/math/article/view/11853