Tim Harris, Keir Fraser: Language support for lightweight transactions. OOPSLA 2003: 388-402