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