Peter D. Mosses. Exploiting labels in Structural Operational Semantics. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 1476-1481, ACM, 2004. [doi]