Practical Aspects of Declarative Languages - José F. Morales; Orchard, Dominic (Springer International Publishing, 2021)