Logic-Based Program Synthesis and Transformation - Fioravanti (Springer International Publishing, 2018)