P. D. Mosses, “Modularity in Meta-Languages”, BRICS, bd. 7, nr. 50, jun. 2000.