Logic-Based Program Synthesis and Transformation häftadEngelska, 2014