Logic-Based Program Synthesis and Transformation - Alicia Villanueva (Springer, 2022)