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