While you're waiting for PFDS, here's Okasaki's thesis (<a href="http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf" rel="nofollow">http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf</a>). It's the seed of the book.