Aceto, L., Fokkink, W. J. and Verhoef, C. (1999) “Structural Operational Semantics”, BRICS Report Series, 6(30). doi: 10.7146/brics.v6i30.20099.