The Functional Programming Language XSLT - A proof through examples
A good overview of a rather artificial but genuine example of real functional programming with XSLT. My first brush with this was a library for some matrix computations a few years ago.