[1]
Aceto, L., Fokkink, W.J. and Verhoef, C. 1999. Structural Operational Semantics. BRICS Report Series. 6, 30 (Jan. 1999). DOI:https://doi.org/10.7146/brics.v6i30.20099.