@proceedings {DBLP:conf/cefp/2013,
	title = {Central European Functional Programming School},
	journal = {5th summer school - CEFP },
	year = {2014},
	publisher = {Springer},
	address = {Cluj-Napoca, Romania},
	editor = {Vikt{\'o}ria Zs{\'o}k and et al}
}