?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Pettorossi%2C+Alberto&rft.aulast=Pettorossi&rft.aufirst=Alberto&rft.title=Program+Transformation+for+Development%2C+Verification%2C+and+Synthesis+of+Software&rft.btitle=Il+Milione+(i.e.+2%CB%866%2C+June+3rd+2008)+A+Journey+in+the+Computational+Logic+in+Italy.+&rft.tpages=87&rft.date=2008&rft.genre=bookitem