Logic-Based Program Synthesis and Transformation - Emanuele De Angelis, Wim Vanhoof (Springer, 2022)