Louren{\c c}o, João. "Understanding Transactional Memory (Extended Abstract)." Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg,  2011. 1-2.