"Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000" - читать интересную книгу автора (Kung-Kiu Lau)