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