Nondeterminism in logics of programs - Harel, David 1950-; Pratt, Vaughan (Mass. Inst. of Technology, Lab. for Computer Science, 1978)