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.