LÊ, Nhat Minh; 						GUATTO, Adrien; 						COHEN, Albert; 						POP, Antoniu.
 Correct and Efficient Bounded FIFO Queues. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 25.	, 2013, Porto de Galinhas/PE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 144-151.