Title: Théorie des algorithmes, des langages et de la programmation
Subjects: Computational complexity, Recursion theory, Formal languages, Programming languages (Electronic computers)