"Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005" - читать интересную книгу автора (Patricia M. Hill)