Trends in Functional Programming - Loidl (Springer Berlin Heidelberg, 2013)