Aceto, Luca, Willem Jan Fokkink, and Chris Verhoef. “Conservative Extension in Structural Operational Semantics”. BRICS Report Series 6, no. 24 (January 24, 1999). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/20093.