Robert Colvin Ian J. Hayes Paul A. Strooper Calculating modules in contextual logic program refinement. 1-31 2008 8 TPLP 1 http://dx.doi.org/10.1017/S1471068407003043 db/journals/tplp/tplp8.html#ColvinHS08