The design and analysis of algorithms - Kozen, Dexter 1951- (Springer, 1992)