Design and analysis of algorithms - Kozen, Dexter C (Springer- Verlag, 1991)