@TechReport{GK07techreport,
  author =	 {Rachid Guerraoui and Micha\l{} Kapa\l{}ka},
  title =	 {Opacity: A Correctness Condition for Transactional Memory},
  institution =	 {EPFL},
  year =	 2007,
  month =	 Aug,
  number =	 {LPD-REPORT-2007-004}
}