J. Moldestad and V. Stoltenberg-hansen, “Finite alogorithmic procedures and inductive definability”., Math. Scand., vol. 46, pp. 62–76, Jun. 1980, doi: 10.7146/math.scand.a-11852.