Implementation and Application of Functional Languages - Hinze, Ralf (Springer Berlin Heidelberg, 2013)