Practical Aspects of Declarative Languages - Yuliya Lierler, Walid Taha (Springer, 2017)