G.: Distributing probabililty over nondeterminism (2006)

by D Varacca, Winskel
Venue:Math. Struct. in Comp. Sci