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