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