Finite alogorithmic procedures and inductive definability. - Moldestad, J.; Stoltenberg-hansen, V. (MATHEMATICA SCANDINAVICA, 1980)