@incollection{moore:transactional-semantics:popl:2008,
  author	= {Moore, Katherine F. and Grossman, Dan},
  title		= {High-Level Small-Step Operational Semantics for Transactions},
  booktitle	= {35th ACM Symposium on Principles of Programming Languages},
  month		= {Jan},
  year		= {2008},
  pdf		= {http://www.cs.washington.edu/homes/djg/papers/atomsfamily.pdf}
}