Ian J. Hayes Robert Colvin David Hemer Paul A. Strooper Ray Nickson A refinement calculus for logic programs. 425-460 2002 2 TPLP 4-5 db/journals/tplp/tplp2.html#HayesCHSN02