Aceto, L., Z. Ésik, and A. Ingólfsdóttir. “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”. BRICS Report Series, Vol. 9, no. 6, Feb. 2002, doi:10.7146/brics.v9i6.21724.