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