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