Mosses, P.D. 1998. Semantics, Modularity, and Rewriting Logic. BRICS Report Series. 5, 42 (Jun. 1998). DOI:https://doi.org/10.7146/brics.v5i42.19487.