J. Moldestad and V. Stoltenberg-hansen, “Finite alogorithmic procedures and computation theories”., Math. Scand., vol. 46, pp. 77–94, Jun. 1980.