Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles Albert Burroni (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Refinements of inductive inference by Popperian and reliable machines John Case, Sanjay Jain, Suzanne Ngo Manguelle (1994) Kybernetika