L. Aceto, W. J. Fokkink, og C. Verhoef, “Conservative Extension in Structural Operational Semantics”, BRICS, bd. 6, nr. 24, jan. 1999.