Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures - Horváth, Zoltán (Springer Berlin Heidelberg, 2006)