Title: Mathematical Foundations of Computer Science 1994
Subjects: Machine theory, Formal languages, Algorithms