Mosses, P. D. “Modular Structural Operational Semantics”. BRICS Report Series, vol. 12, no. 7, Feb. 2015, doi:10.7146/brics.v12i7.21873.