"A calculus of module systems."

Davide Ancona, Elena Zucca (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics