Faith Ellen, Panagiota Fatourou, Joanna Helga, Eric Ruppert: The amortized complexity of non-blocking binary search trees. PODC 2014: 332-340