Ana Cavalcanti Jim Woodcock Steve Dunne Angelic nondeterminism in the unifying theories of programming. 288-307 2006 18 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-006-0001-8 db/journals/fac/fac18.html#CavalcantiWD06