N. Lê, A. Guatto, A. Cohen, and A. Pop.
" Correct and Efficient Bounded FIFO Queues", in <em>Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing</em>, Porto de Galinhas/PE, 2013, pp. 144-151.