Blute, Richard, Josée Desharnais, Abbas Edalat, and Prakash Panangaden. 1997. “Bisimulation for Labelled Markov Processes”. BRICS Report Series 4 (4). https://doi.org/10.7146/brics.v4i4.18783.