Logic Program Synthesis And Transformation by J. Gallagher