Moldestad, J. and Stoltenberg-hansen, V. (1980) “Finite alogorithmic procedures and computation theories”., MATHEMATICA SCANDINAVICA, 46, pp. 77–94. doi: 10.7146/math.scand.a-11853.