Aceto, L., W. J. Fokkink, A. Ingólfsdóttir, and B. Luttik. “A Finite Equational Base for CCS With Left Merge and Communication Merge”. BRICS Report Series, vol. 13, no. 6, Mar. 2006, doi:10.7146/brics.v13i6.21912.