Nondeterminism in Logics of Programs.

David Harel, Vaughan R. Pratt

Browse the full POPL paper archive.