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