Bernardo, Nicola, Loreti, 2014. Relating strong behavioral equivalences for processes with nondeterminism and probabilities 546.. https://doi.org/10.1016/j.tcs.2014.03.001