Finite alogorithmic procedures and inductive definability. J. Moldestad, V. Stoltenberg-Hansen (1980) Mathematica Scandinavica