Aceto, Luca, Zoltán Ésik, and Anna Ingólfsdóttir. 2002. “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”. BRICS Report Series 9 (6). https://doi.org/10.7146/brics.v9i6.21724.