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