Title: Formal languages considered as abstract structures
Subjects: Programming languages (Electronic computers)