Abstract semantics for module composition (2000)

by Grigore Rosu