Floyd, R. "Nondeterministic Algorithms"
(1967)
[ACM] (1967)
[ACM] JACM, 14(4) 1967
Languages mentioned
Floyd - Evans language
{1960} Symbolic manipulation language