A scalable module system - Rabe, Florian; Kohlhase, Michael (Information and Computation, 2013)