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