DESIGN AND ANALYSIS OF ALGORITHMS - Kozen, Dexter C. (New York Springer-Verlag, 1992)
Keywords: Computer Algorithms