"Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science)" - читать интересную книгу автора (Maurice Bruynooghe, Kung-Kiu Lau)