Logic-Based Program Synthesis and Transformation - Gupta (Springer International Publishing, 2014)