Fibrations and recursivity Richard Mijoule (1995) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Finite alogorithmic procedures and inductive definability. J. Moldestad, V. Stoltenberg-Hansen (1980) Mathematica Scandinavica