L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, and B. Luttik, “A Finite Equational Base for CCS with Left Merge and Communication Merge”, BRICS, vol. 13, no. 6, Mar. 2006.