On the correctness of transactional memory (2008)

by R Guerraoui, M Kapalka
Venue:in Proc. of PPOPP