Moldestad, J., & Stoltenberg-hansen, V. (1980). Finite alogorithmic procedures and inductive definability. Mathematica Scandinavica, 46, 62-76. https://doi.org/10.7146/math.scand.a-11852