Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)