L. Aceto, Z. Ésik, og A. Ingólfsdóttir, “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”, BRICS, bd. 9, nr. 6, feb. 2002.