Advanced Functional Programming

David Snowdon