Title: Mathematical Foundations of Computer Science 2004
Subjects: Machine theory, Formal languages, Computer programming