Aceto, Luca, m.fl. “Conservative Extension in Structural Operational Semantics”. BRICS Report Series, bd. 6, nr. 24, januar 1999, doi:10.7146/brics.v6i24.20093.