Mathematics for the analysis of algorithms - Greene, Daniel H., 1955-; Knuth, Donald Ervin, 1938- (Progress in computer science, 1982)