@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://dx.doi.org/10.1007/978-3-642-02658-4_26}catId1 = {TH},
}