L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, and B. Luttik, “CCS with Hennessy’s Merge has no Finite Equational Axiomatization”, BRICS, vol. 10, no. 34, Nov. 2003.