Hagit Attiya Rachid Guerraoui Danny Hendler Petr Kuznetsov The complexity of obstruction-free implementations. 2009 56 J. ACM 4 http://doi.acm.org/10.1145/1538902.1538908 db/journals/jacm/jacm56.html#AttiyaGHK09