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