Aceto, L.; Fokkink, W. J.; Verhoef, C. Structural Operational Semantics. BRICS 1999, 6.