Moldestad, J. and Stoltenberg-hansen, V. (1980) “Finite alogorithmic procedures and inductive definability”., MATHEMATICA SCANDINAVICA, 46, pp. 62–76. doi: 10.7146/math.scand.a-11852.