@inproceedings{singh:stm-rmm:cav:2009,
  author	= {Guerraoui, Rachid and Henzinger, Thomas A. and Singh, Vasu},
  title		= {Software Transactional Memory on Relaxed Memory Models},
  booktitle	= {Proceedings of the 21st International Conference on Computer Aided Verification},
  publisher	= {Springer},
  year		= {2009},
  urlpage	= {http://www.springerlink.com/content/cj115663735g0w7m/},
}