gexahaha | 2 years ago | on: Purely Functional Data Structures (1996) [pdf]
There's also a nice addendum on cstheory.stackexchange, "What's new in purely functional data structures since Okasaki?" - https://cstheory.stackexchange.com/questions/1539/whats-new-...