@incollection{cohen:verifying-correctness:fmcad:2007,
  author	= {Cohen, Ariel and O'Leary, John W. and Pnueli, Amir and Tuttle, Mark R. and Zuck, Lenore D.},
  title		= {Verifying Correctness of Transactional Memories},
  booktitle	= {Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD)},
  urlpage	= {http://www.markrtuttle.com/papers/cohen-oleary-pnueli-tuttle-zuck-fmcad07.pdf},
  pages		= {37--44},
  month		= {November},
  year		= {2007},
}