Program Development In Computational Logic door Maurice Bruynooghe