"Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6037)" - читать интересную книгу автора (Danny De Schreye)