@inproceedings{guerraoui:semantics:popl:2009,
  author	= {Guerraoui, Rachid and Kapa{\l}ka, Micha{\l},
  title		= {The semantics of progress in lock-based transactional memory},
  booktitle	= {POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  urlpage	= {http://dx.doi.org/10.1145/1480881.1480931},
  pdf		= {http://lpd.epfl.ch/kapalka/files/lock-tm-progress-popl09.pdf},
  pages		= {404--415},
  year		= {2009},
  month		= {jan},
}