Title: Mathematical Foundations of Computer Science 1992
Subjects: Sequential machine theory, Formal languages, Computer programming