J. Moldestad and V. Stoltenberg-hansen, “Finite alogorithmic procedures and inductive definability”., Math. Scand., vol. 46, pp. 62–76, Jun. 1980.