@inproceedings{abadi:model:concur:2008,
  author	= {Abadi, Martin and Harris, Tim and Moore, Katherine},
  title		= {A Model of Dynamic Separation for Transactional Memory},
  booktitle	= {CONCUR~'08: Proc. 19th Conference on Concurrency Theory},
  urlpage	= {http://dx.doi.org/10.1007/978-3-540-85361-9_5},
  pdf		= {http://www.cs.washington.edu/homes/kfm/www/separationtheory-concur.pdf},
  pages		= {6--20},
  year		= {2008},
  month		= {aug},
}