Practical Aspects of Declarative Languages - Lierler; Taha, Walid (Springer International Publishing, 2017)