@inproceedings{guerraoui:correctness-TM:PPoPP:2008,
  author	= {Guerraoui, Rachid and Kapalka, Michal},
  title		= {On the Correctness of Transactional Memory},
  booktitle	= {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming ({PPoPP'08})},
  year		= {2008},
  pdf		= {http://lpd.epfl.ch/kapalka/files/opacity-ppopp08.pdf}
}