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