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