A. Armstrong and B. Dongol, Isabelle files for modularising opacity verification for hybrid transactional memory, 2016.
DOI : 10.1007/978-3-319-60225-7_3

I. Calciu, J. Gottschlich, T. Shpeisman, G. Pokam, and M. Herlihy, Invyswell, Proceedings of the 23rd international conference on Parallel architectures and compilation, PACT '14, pp.187-200
DOI : 10.1109/ISCA.1993.698569

L. Dalessandro, F. Carouge, S. White, Y. Lev, M. Moir et al., Hybrid NOrec, ACM SIGPLAN Notices, vol.46, issue.3, pp.39-52, 2011.
DOI : 10.1145/1961296.1950373

L. Dalessandro, D. Dice, M. L. Scott, N. Shavit, and M. F. Spear, Transactional Mutex Locks, Euro-Par, pp.2-13, 2010.
DOI : 10.1109/CGO.2009.30
URL : http://www.cs.rochester.edu/u/scott/papers/2009_TRANSACT_TML.pdf

J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, Verifying Opacity of a Transactional Mutex Lock, FM. LNCS, pp.161-177, 2015.
DOI : 10.1007/978-3-319-19249-9_11

S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, Proving opacity of a pessimistic STM, 2016.

S. Doherty, L. Groves, V. Luchangco, and M. Moir, Towards formally specifying and verifying transactional memory. Formal Asp, Comput, vol.25, issue.5, pp.769-799, 2013.
DOI : 10.1007/s00165-012-0225-8
URL : http://research.sun.com/people/moir/pubs/Refine09-TM-correctness.pdf

R. Guerraoui and M. Kapalka, On the correctness of transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.175-184, 2008.
DOI : 10.1145/1345206.1345233

R. Guerraoui and M. Kapalka, Principles of Transactional Memory. Synthesis Lectures on Distributed Computing Theory, 2010.

T. Harris, J. R. Larus, and R. Rajwar, Transactional Memory, Synthesis Lectures on Computer Architecture, 2010.
DOI : 10.1201/b11417-16

C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems, vol.5, issue.4, pp.596-619, 1983.
DOI : 10.1145/69575.69577

M. Lesani, On the Correctness of Transactional Memory Algorithms, 2014.

M. Lesani, V. Luchangco, and M. Moir, A Framework for Formally Verifying Software Transactional Memory Algorithms, In: CONCUR. LNCS, vol.7454, pp.516-530, 2012.
DOI : 10.1007/978-3-642-32940-1_36

M. Lesani, V. Luchangco, and M. Moir, Putting opacity in its place, 2012.

N. A. Lynch, Distributed Algorithms, 1996.

N. A. Lynch and M. R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.137-151, 1987.
DOI : 10.1145/41840.41852
URL : http://www.markrtuttle.com/papers/lt87-podc.pdf

A. Matveev and N. Shavit, Reduced Hardware NOrec, ACM SIGPLAN Notices, vol.50, issue.4, pp.59-71, 2015.
DOI : 10.1145/1122971.1123003

W. P. De-roever, F. S. De-boer, U. Hannemann, J. Hooman, Y. Lakhnech et al., Concurrency Verification: Introduction to Compositional and Noncompositional Methods, Cambridge Tracts in Theo, Comp. Sci, vol.54, 2001.