+This is a list of papers I found that describe the general idea.
+* "Automatic Mutual Exclusion": the introduction paper at HotOS (may
+ 2007) is interesting; the rest is far too much formalism with little
+ interest from my point of view.
+* "Transactions Everywhere", 2002-2003: an early reference.
+* To read about the current status of STM research, which influences
+ the Hardware Transactional Memory on 2013 CPUs: "NOrec: Streamlining
+ STM by Abolishing Ownership Records".
+* "Grace": a system using Linux's paging (virtual memory) to emulate
+ an efficient STM. Interesting idea but with probably a granularity
+ that is completely wrong for us --- one page, i.e. 4KB. Two versions
+ of the same paper: http://plasma.cs.umass.edu/emery/grace or
+ http://www.cs.umass.edu/~tingy/publications/grace.ps .
+* "OCM": http://ocm.dreamhosters.com/ . A similar goal to the one here,
+ but modelling cooperative multithreading with an explicit "yield".
+ Also, presents two versions of Lua with different implementations
+ exposing the "yield" primitive.