Johan Jeuring, Erik Meijer: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text.Lecture Notes in Computer Science 925, Springer1995, ISBN 3-540-59451-5