Deville, Yves <br/><br/>
Logic Programming Systematic Program Development 

 - New York   Mc Graw Hill  1990 
 - 338