Mosses, P.D. 2015. Modular Structural Operational Semantics. BRICS Report Series. 12, 7 (Feb. 2015). DOI:https://doi.org/10.7146/brics.v12i7.21873.