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.