J. Moldestad and V. Stoltenberg-hansen, “Finite alogorithmic procedures and computation theories”., Math. Scand., vol. 46, pp. 77–94, Jun. 1980, doi: 10.7146/math.scand.a-11853.