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