An effective implementation for the generalized input-output construct of CSP (1983)

by Gael N Buckley, Abraham Silberschatz
Venue:ACM Trans. Program. Lang. Syst