Mosses, P. D. Modularity in Meta-Languages. BRICS 2000, 7.