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