@inproceedings{abadi:semantics:popl:2008,
  author	= {Abadi, Martin and Birrell, Andrew and Harris, Tim and Isard, Michael},
  title		= {Semantics of transactional memory and automatic mutual exclusion},
  booktitle	= {POPL~'08: Proc. 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  urlpage	= {http://dx.doi.org/10.1145/1328438.1328449},
  pdf		= {http://research.microsoft.com/en-us/um/people/tharris/papers/2008-popl.pdf},
  pages		= {63--74},
  year		= {2008},
  month		= {jan},
}