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