@article{MS2_1980__46_166690,
     author = {J. Moldestad and V. Stoltenberg-Hansen},
     title = {Finite alogorithmic procedures and inductive definability.},
     journal = {Mathematica Scandinavica},
     pages = {62--76},
     publisher = {mathdoc},
     volume = {46},
     year = {1980},
     zbl = {0448.03037},
     url = {http://geodesic.mathdoc.fr/item/MS2_1980__46_166690/}
}