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)