Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann Jacques J. Arsac (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Ensembles infinis en programmation Michel Cayrol (1985) Publications du Département de mathématiques (Lyon)
Exaktní matematické metody v programovací technice Evžen Kindler (1972) Pokroky matematiky, fyziky a astronomie