Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers - Zsók, Viktória; Horváth, Zoltán; Plasmeijer, Rinus (Springer Berlin Heidelberg : Imprint: Springer, 2012)