Wim H. Hesselink
-
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science