The Design and Analysis of Algorithms by Dexter C. Kozen