Lê, N., 		Guatto, A., 		Cohen, A., & 		Pop, A.
(2013).
 Correct and Efficient Bounded FIFO Queues.
In <em>Anais do XXV International Symposium on Computer Architecture and High Performance Computing</em>, (pp. 144-151). Porto Alegre: SBC.