A calculus for the construction of modular Prolog programs (1992)

by D T Sannella, L A Wallen
Venue:Journal of Logic Programming