An introduction to the analysis of algorithms - Sedgewick, Robert (Addison-Wesley, 1996)