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