Mathematics for the analysis of algorithms - Greene, Daniel H., 1955- (Progress in computer science and applied logic, 1990)