The appendix to Chris Okasaki's "Purely functional Data structures" has to be right up there.