Blute, R., J. Desharnais, A. Edalat, and P. Panangaden. “Bisimulation for Labelled Markov Processes”. BRICS Report Series, vol. 4, no. 4, Jan. 1997, doi:10.7146/brics.v4i4.18783.