Aceto, Luca, Willem Jan Fokkink, and Chris Verhoef. “Structural Operational Semantics”. BRICS Report Series 6, no. 30 (January 30, 1999). Accessed February 10, 2026. https://tidsskrift.dk/brics/article/view/20099.