Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. “CCS With Hennessy’s Merge Has No Finite Equational Axiomatization”. BRICS Report Series 10, no. 34 (November 6, 2003). Accessed November 24, 2024. https://tidsskrift.dk/brics/article/view/21802.