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