Unbounded nondeterminism in CSP (Oxford University Computing Laboratory, 1988)

(untitled) - Roscoe, A