Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale, 5 (1). pp. 119-125. ISSN 1724-8035 (2011)