Dexter C. Kozen
Books
Theory of Computation
2006
ISBN 9781849965712
Automata and Computability
2012
ISBN 9781461218449
The Design and Analysis of Algorithms
1992
ISBN 9781461287575
A Concise Introduction to Languages and Machines
2008
ISBN 9781848001206