Title: Theoretical computer science
Subjects: Congresses, Formal languages, Machine theory