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