Comment by j_seigh

Paywalled, but if you are familiar with the ABA problem in lock-free programming you can pretty much figure things out.