"Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004" - читать интересную книгу автора (Sandro Etalle)