DK
Dexter C. Kozen
Dexter Campbell Kozen is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.
Excerpt from Wikipedia, available under CC BY-SA 4.0.
Books
Theory of Computation
2010
ISBN 9781849965712
The Design and Analysis of Algorithms
2005
ISBN 9781461287575