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