Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, og Bas Luttik. “Split-2 Bisimilarity Has a Finite Axiomatization over CCS With Hennessy’s Merge”. BRICS Report Series 11, no. 1 (januar 5, 2004). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21826.