Aceto, Luca, et al. “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”. BRICS Report Series, vol. 9, no. 6, Feb. 2002, doi:10.7146/brics.v9i6.21724.