Logic Based Program Synthesis and Transformation - Patricia M. Hill - E-bok | Bokus