@inproceedings{birgisson:implementation:plas:2009,
  author	= {Birgisson, Arnar and Erlingsson, \'{U}lfar},
  title		= {An implementation and semantics for transactional memory introspection in {H}askell},
  booktitle	= {PLAS~'09: Proc. 4th Workshop on Programming Languages and Analysis for Security},
  urlpage	= {http://doi.acm.org/10.1145/1554339.1554350},
  pdf		= {http://www.hvergi.net/arnar/public/papers/plas09.pdf},
  pages		= {87--99},
  year		= {2009},
  month		= {jun},
}