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