Practical Aspects of Declarative Languages - Marco Gavanelli, John Reppy (Springer, 2016)