@incollection{scott:sequential-spec:2006,
  author	= {Scott, Michael L.},
  title		= {Sequential Specification of Transactional Memory Semantics},
  month		= {Jun},
  pdf		= {http://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_formal_STM.pdf},
  year		= {2006},
  booktitle	= {Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing}
}