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