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