%0 Journal Article
%A J. Moldestad
%A V. Stoltenberg-Hansen
%T Finite alogorithmic procedures and computation theories.
%J Mathematica Scandinavica
%D 1980
%P 77-94
%V 46
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/
%F MS2_1980__46_166691