Aceto, L.; Ésik, Z.; Ingólfsdóttir, A. Equational Axioms for Probabilistic Bisimilarity (Preliminary Report). BRICS 2002, 9.