Automata and Computability
Dexter C. Kozen
Undergraduate Texts in Computer Science (0)
Modelling Computing Systems: Mathematics for Computer Science
Faron Moller & Georg Struth