Practical Aspects of Declarative Languages - Hanus, Michael (Springer Berlin Heidelberg, 2020)