Robert Colvin Ian J. Hayes Paul A. Strooper Calculating modules in contextual logic program refinement http://arxiv.org/abs/cs/0608110 2006 CoRR abs/cs/0608110 db/journals/corr/corr0608.html#abs-cs-0608110