L. Aceto and A. Ingólfsdóttir, “The Saga of the Axiomatization of Parallel Composition”, BRICS, vol. 14, no. 11, Jun. 2007.