Aceto, Luca, m.fl. “Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)”. BRICS Report Series, bd. 9, nr. 6, februar 2002, doi:10.7146/brics.v9i6.21724.