@inproceedings{cohen:verification-non-xact-accesses:iccav:2008,
  author	= {Cohen, Ariel and Pnueli, Amir and {and Zuck}, Lenore D.},
  title		= {Mechanical Verification of Transactional Memories with Non-Transactional Memory Accesses},
  pages		= {121--134},
  month		= {July},
  year		= {2008},
  volume	= {5123},
  series	= {Lecture Notes in Computer Science},
  publisher	= {Springer},
  booktitle	= {Computer Aided Verification (CAV), 20th International Conference, Princeton, NJ, USA},
}