Book

The design and analysis of algorithms

by Dexter Kozen