Derivation of a Scalable Lock-Free Stack Algorithm.

Lindsay Groves Robert Colvin Derivation of a Scalable Lock-Free Stack Algorithm. 55-74 2007 187 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2006.08.044 db/journals/entcs/entcs187.html#GrovesC07