Blute, R.; Desharnais, J.; Edalat, A.; Panangaden, P. Bisimulation for Labelled Markov Processes. BRICS 1997, 4.