Aceto, L.; Ingólfsdóttir, A. The Saga of the Axiomatization of Parallel Composition. BRICS 2007, 14.