Practical Aspects of Declarative Languages - Calimeri, Francesco (Springer International Publishing, 2020)