A. J. Field, Peter G. Harrison
Text book on Functional Programming, including implementation techniques and program transformation.
Information from pubs.doc.ic.ac.uk/fp-book.
