Added subsection on the Chase-Lev queue to the Implementations section.