Wim H. Hesselink
Groningen Univ., Groningen, The Netherlands
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science