Logic Based Program Synthesis and Transformation - Alberto Pettorossi - E-bok | Bokus