Extracting nondeterministic concurrent programs - Ulrich Berger (Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016)