True modules for javalike languages: Design and foundations (2000)

by D Ancona, E Zucca