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