P. D. Mosses, “Modularity in Meta-Languages”, BRICS, vol. 7, no. 50, Jun. 2000.