Aceto, L., Fokkink, W. J., & Verhoef, C. (1999). Conservative Extension in Structural Operational Semantics. BRICS Report Series, 6(24). https://doi.org/10.7146/brics.v6i24.20093