The Design and Analysis of Algorithms (1992)

by Dexter Kozen