P. D. Mosses, “Modular Structural Operational Semantics”, BRICS, vol. 12, no. 7, Feb. 2015.