Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures - Vene, Varmo; Uustalu, Tarmo (Springer Berlin Heidelberg, 2005)