Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Program Transformation for Development, Verification, and Synthesis of Software.   In:  Il Milione (i.e. 2ˆ6, June 3rd 2008) A Journey in the Computational Logic in Italy.   CEUR Workshop Proceedings  (487).  CEUR Workshop Proceedings, pp. 7-14.       (2008)