Logic-Based Program Synthesis and Transformation - Mesnard (Springer International Publishing, 2019)