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