Automata and Computability – Hardcover, by Kozen Dexter C. – Acceptable This textbook includes case studies that bring the subject matter to life.
