@article{MS2_1980__46_166691,
     author = {J. Moldestad and V. Stoltenberg-Hansen},
     title = {Finite alogorithmic procedures and computation theories.},
     journal = {Mathematica Scandinavica},
     pages = {77--94},
     publisher = {mathdoc},
     volume = {46},
     year = {1980},
     zbl = {0419.68078},
     url = {http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/}
}