The design and analysis of algorithms - Kozen, Dexter, 1951- (New York : Springer-Verlag, 1992)
Keywords: Computer algorithms