An Unbounded Nonblocking Double-Ended Queue. - Matthew Graichen; Joseph Izraelevitz; Michael L. Scott (ICPP, 2016)