L. Aceto, W. J. Fokkink, and C. Verhoef, “Structural Operational Semantics”, BRICS, vol. 6, no. 30, Jan. 1999.