R. Blute, J. Desharnais, A. Edalat, and P. Panangaden, “Bisimulation for Labelled Markov Processes”, BRICS, vol. 4, no. 4, Jan. 1997.