Robert Colvin Brijesh Dongol A general technique for proving lock-freedom. 143-165 2009 74 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2008.09.013 db/journals/scp/scp74.html#ColvinD09