P. D. Mosses, “Modular Structural Operational Semantics”, BRICS, bd. 12, nr. 7, feb. 2015.