A Bounded First-in, First-Enabled Solution to the l-Exclusion ProblemYehuda AfekDanny Dolevet al.1994ACM Transactions on Programming Languages and Systems (TOPLAS)