Logic Based Program Synthesis And Transformation door Maurice Bruynooghe