?url_ver=Z39.88-2004&rft_id=10.3233%2FIA-2011-0014&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Fabio&rft.au=Fioravanti%2C+Fabio&rft.aulast=Fioravanti&rft.pages=119-125&rft.issn=1724-8035&rft.title=Intelligenza+Artificiale&rft.issue=1&rft.volume=5&rft.date=2011&rft.atitle=Program+transformation+for+development%2C+verification%2C+and+synthesis+of+programs&rft.genre=article