Here is a paper I found extremely useful when studying Lock Free data structures. It focuses on linked lists, but has a nice exposition of the idea: http://www.cse.yorku.ca/~ruppert/papers/lfll.pdf