@TechReport{GK08techreport2,
  author =	 {Rachid Guerraoui and Micha\l{} Kapa\l{}ka},
  title =	 {The Semantics of Progress in Lock-Based Transactional Memory},
  institution =	 {EPFL},
  year =	 2008,
  month =	 Jul,
  number =	 {LPD-REPORT-2008-015}
}