The design and analysis of algorithms - Kozen, Dexter C., 1951- (Texts and monographs in computer science, 1992)