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