Jacques Cohen Non-Deterministic Algorithms. 79-94 1979 11 ACM Comput. Surv. 2 db/journals/csur/csur11.html#Cohen79