L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, og B. Luttik, “Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy’s Merge”, BRICS, bd. 11, nr. 1, jan. 2004.