ACETO, L.; FOKKINK, W.; INGÓLFSDÓTTIR, A.; LUTTIK, B. A Finite Equational Base for CCS with Left Merge and Communication Merge. BRICS Report Series, v. 13, n. 6, 12 Mar. 2006.