L. Aceto, Z. Ésik, and A. Ingólfsdóttir, “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”, BRICS, vol. 9, no. 6, Feb. 2002.