Nondeterministic Algorithms (1967)

by R W Floyd
Venue:J. Assoc. Computing Machineryj