Okasaki: Purely Functional Data Structures (1996) [pdf]
cs.cmu.edu
cs.cmu.edu
The book is about persistent data structures and what techniques can be used to measure their time complexity. I don't think there's much utility here for the software engineer (although I suppose there's probably some edge cases where it would come up), but as someone who's interested in programming language development I plan to keep this book around for a long time.