Practical Aspects of Declarative Languages - Carro, Manuel (Springer Berlin Heidelberg, 2010)