Programming with angelic nondeterminism. - Rastislav Bodík; Satish Chandra 001; Joel Galenson; Doug Kimelman; Nicholas Tung; Shaon Barman; Casey Rodarmor (POPL, 2010)