de Vink, Mixing up nondeterminism and probability: A preliminary report (1997)

by J I den Hartog, E P
Venue:Electronic Notes in Theoretical Computer Science 22