Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. 2003. “CCS With Hennessy’s Merge Has No Finite Equational Axiomatization”. BRICS Report Series 10 (34). https://doi.org/10.7146/brics.v10i34.21802.