D. Déharbe, P. Fontaine, S. Ranise, and C. Ringeissen, Decision Procedures for the Formal Analysis of Software, Intl. Coll. Theoretical Aspects of Computing, pp.366-370, 2007.
DOI : 10.1007/11921240_26

H. Gao, Design and verification of lock-free parallel algorithms, 2005.

T. L. Harris, K. Fraser, and I. A. Pratt, A Practical Multi-word Compare-and-Swap Operation, Proceedings of the 16th International Symposium on Distributed Computing, 2002.
DOI : 10.1007/3-540-36108-1_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.7938

M. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.
DOI : 10.1145/114005.102808

M. M. Michael and M. L. Scott, Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors, Journal of Parallel and Distributed Computing, vol.51, issue.1, pp.1-26, 1998.
DOI : 10.1006/jpdc.1998.1446

S. Owicki and D. Gries, Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, vol.19, issue.5, pp.279-285, 1976.
DOI : 10.1145/360051.360224

N. Shavit and D. Touitou, Software transactional memory, Distributed Computing, pp.204-213, 1995.
DOI : 10.1007/s004460050028
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.4743

H. Sundell and P. Tsigas, Lock-free and practical deques using single-word compare-and-swap, 2004.
DOI : 10.1007/11516798_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4693

J. D. Valois, Implementing lock-free queues, Proceedings of the Seventh International Conference on Parallel and Distributed Computing Systems, pp.64-69, 1994.

C. Weidenbach, R. A. Schmidt, T. Hillenbrand, R. Rusev, and D. Topic, System Description: Spass Version 3.0, 21st Intl. Conf. Automated Deduction, pp.514-520, 2007.
DOI : 10.1007/978-3-540-73595-3_38
URL : http://hdl.handle.net/11858/00-001M-0000-000F-36E6-F