Lê, N., 		Guatto, A., 		Cohen, A., & 		Pop, A.
2013 Oct 23.  Correct and Efficient Bounded FIFO Queues. Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :