Logic-Based Program Synthesis and Transformation - Danny De Schreye - E-bok | Bokus