Lê, Nhat, 		Guatto, Adrien, 		Cohen, Albert, E 		Pop, Antoniu.
" Correct and Efficient Bounded FIFO Queues" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (23 outubro 2013)