Chris Osaka's book <i>Purely Functional Data Structures</i> is a revised and expanded version of his PhD thesis. Here's the link to the latter: <a href="http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf" rel="nofollow">http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf</a>