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