Mosses, P. D. Exploiting Labels in Structural Operational Semantics. BRICS 2005, 12.