1. The Clojure Language: Refs and Transactions.
http://clojure.org/refs
2. Technical specification for C++ extensions for transactional memory (2015).
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4514.pdf
3. Adya, A.: Weak consistency: a generalized theory and optimistic implementations for distributed transactions. Ph.D. thesis, MIT (1999)
4. Adya, A., Liskov, B., O’Neil, P.: Generalized isolation level definitions. In: Proceedings of the 16th International Conference on Data Engineering, pp. 67–78 (2000)
5. Alglave, J., Maranget, L., Tautschnig, M.: Herding cats: modelling, simulation, testing, and data mining for weak memory. ACM Trans. Program. Lang. Syst. 36(2), 7:1–7:74 (2014)