"True Modules for Java-like Languages."

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