@InProceedings{GK09,
  author =	 {Rachid Guerraoui and Micha\l{} Kapa\l{}ka},
  title =	 {The Semantics of Progress in Lock-Based
                  Transactional Memory},
  booktitle =	 {Proceedings of the 36th Annual ACM SIGPLAN-SIGACT
                  Symposium on Principles of Programming Languages
                  {(POPL)}},
  year =	 2009,
  month =	 jan
}