Logic-Based Program Synthesis and Transformation - German Puebla - E-bok | Bokus