Title: Computation Engineering: Applied Automata Theory and Logic
Subjects: Computer science, mathematics, Machine theory