Johan Jeuring, Simon L. Peyton Jones: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, ISBN 3-540-40132-6