Finite alogorithmic procedures and computation theories. J. Moldestad; V. Stoltenberg-Hansen — 1980 Mathematica Scandinavica
Finite alogorithmic procedures and inductive definability. J. Moldestad; V. Stoltenberg-Hansen — 1980 Mathematica Scandinavica