Aceto, L., Ésik, Z. and Ingólfsdóttir, A. (2002) “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”, BRICS Report Series, 9(6). doi: 10.7146/brics.v9i6.21724.