Correct and Efficient Bounded FIFO Queues
inria.hal.science