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