"Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008" - читать интересную книгу автора (Michael Hanus)