[ACM] JACM, 14(4) 1967

[ACM] [ACM] JACM  

Floyd, R. (1967) Floyd, R. "Nondeterministic Algorithms"