Trends in Functional Programming - Loidl, Hans-Wolfgang; Peña, Ricardo; Loidl, Hans-Wolfgang; Peña, Ricardo (Springer Berlin Heidelberg, 2013)