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