Aceto, L., Ésik, Z., & Ingólfsdóttir, A. (2002). Equational Axioms for Probabilistic Bisimilarity (Preliminary Report). BRICS Report Series, 9(6). https://doi.org/10.7146/brics.v9i6.21724