Mosses, P. D. Modular Structural Operational Semantics. BRICS 2015, 12.