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