Title: Mathematical foundations of computer science
Subjects: Machine theory, Formal languages, Algorithms