The design and analysis of algorithms - Kozen, Dexter C. (Springer-Verlag, 1992)
includes bibl. references