Unravelling nondeterminism : on having the ability to choose / W. van der Hoek, B. van Linder, J.-J.Ch. Meyer
Unravelling nondeterminism : on having the ability to choose