Mosses, P. D. (2005) “Exploiting Labels in Structural Operational Semantics”, BRICS Report Series, 12(8). doi: 10.7146/brics.v12i8.21874.