@incollection{hu:verified:tfp:2008,
  author	= {HU, Liyang and Hutton, Graham},
  title		= {Towards a Verified Implementation of Software Transactional Memory},
  booktitle	= {Proceedings of the Symposium on Trends in Functional Programming},
  month		= {May},
  year		= {2008},
  pdf		= {http://www.cs.nott.ac.uk/~gmh/stm.pdf},
}