@incollection{scott:semantics:transact:2006,
  author	= {Scott, Michael L.},
  title		= {Sequential Specification of Transactional Memory Semantics},
  booktitle	= {ACM SIGPLAN Workshop on Transactional Computing},
  month		= {Jun},
  year		= {2006},
  note		= {Held in conjunction with PLDI 2006},
  pdf		= {http://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_formal_STM.pdf},
}