@inproceedings{bieniusa:proving-stm-isolation:esop:2011,
  author	= {Bieniusa, Annette and Thiemann, Peter},
  title		= {Proving Isolation Properties for Software Transactional Memory},
  booktitle	= {Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011. Proceedings},
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {6602},
  year		= {2011},
  pages		= {38-56},
  urlpage	= {http://dx.doi.org/10.1007/978-3-642-19718-5_3},
}