P. D. Mosses, “Semantics, Modularity, and Rewriting Logic”, BRICS, vol. 5, no. 42, Jun. 1998.