"Logic-Based Program Synthesis and Transformation - LOPSTR 2010 " - читать интересную книгу автора (María Alpuente)