@InProceedings{GK09cav,
  author =	 {Rachid Guerraoui and Micha\l{} Kapa\l{}ka},
  title =	 {Transactional Memory: Glimmer of a Theory},
  booktitle =	 {Proceedings of the 21st International Conference on
                  Computer Aided Verification {(CAV)}},
  year =	 2009,
  note =	 {(invited paper)}
}