Wim H. Hesselink
-
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science