Title: Formalisation des notions de machine et de programme
Subjects: Algorithms, Electronic digital computers, Programming languages (Electronic computers)