Mosses, P. D. Semantics, Modularity, and Rewriting Logic. BRICS 1998, 5.