D.1. Data Structures and Algorithms
Cormen, Thomas H. et al., Introduction to Algorithms, 2d ed., Cambridge, MA: MIT Press, 2001.
This large but very clear book deals with algorithm analysis. Most of the proofs that were omitted as being "beyond the scope of this book" can be found in Cormen et al.
Lewis, Harry R., and Denenberg, Larry, Data Structures and Their Algorithms, Boston: Addison-Wesley Longman, 1997.
A bit denser than this book, Lewis and Denenberg goes into more detail on optimizations and covers more data structures.