R. Blute, J. Desharnais, A. Edalat, og P. Panangaden, “Bisimulation for Labelled Markov Processes”, BRICS, bd. 4, nr. 4, jan. 1997.