P. D. Mosses, “Exploiting Labels in Structural Operational Semantics”, BRICS, bd. 12, nr. 8, feb. 2005.