Aceto, Luca, m.fl. “A Finite Equational Base for CCS With Left Merge and Communication Merge”. BRICS Report Series, bd. 13, nr. 6, marts 2006, doi:10.7146/brics.v13i6.21912.