Donald Sannella Lincoln A. Wallen A Calculus for the Construction of Modular Prolog Programs. 147-177 1992 12 J. Log. Program. 1&2 db/journals/jlp/jlp12.html#SannellaW92