Salter, R."Concurrent Applicative Implementations of Nondeterministic Algorithms"
(1983)
(1982)
Computer Languages 7(1)
Languages mentioned
CONCUR
{1981}