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