Logic Based Program Synthesis and Transformation by Springer-Verlag & Alberto Pettorossi