Central european functional programming school : second summer school, CEFP 2007 : Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures - Horváth, Zoltán, 1962- (Springer, 2008)