Title: Mathematical Foundations of Computer Science 1975
Subjects: Mathematics, Sequential machine theory, Formal languages, Computer science, Electronic data processing, Electronic digital computers, programming, Algorithms, Computable functions, Machine theory