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