Aceto, Luca, et al. “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.