Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development - Maurice Bruynooghe, Kung-Kiu Lau ((Lecture Notes in Computer Science))