L. Aceto og A. Ingólfsdóttir, “The Saga of the Axiomatization of Parallel Composition”, BRICS, bd. 14, nr. 11, jun. 2007.