An introduction to the analysis of algorithms - Sedgewick, Robert, 1946-