Logic Based Program Synthesis and Transformation - Hill, Patricia M.; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2006)