Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Horváth, Zoltán; Plasmeijer, Rinus; Soós, Anna; Zsók, Viktória (Springer Berlin Heidelberg, 2008)