ACETO, L.; ÉSIK, Z.; INGÓLFSDÓTTIR, A. Equational Axioms for Probabilistic Bisimilarity (Preliminary Report). BRICS Report Series, v. 9, n. 6, 5 Feb. 2002.