Davide Ancona Elena Zucca A calculus of module systems. 91-132 2002 12 J. Funct. Program. 2 db/journals/jfp/jfp12.html#AnconaZ02