@inproceedings{f:high:transact:2007,
  author	= {Moore, Katherine F. and Grossman, Dan},
  title		= {High-Level Small-Step Operational Semantics for Transactions},
  booktitle	= {TRANSACT~'07: 2nd Workshop on Transactional Computing},
  urlpage	= {http://hdl.handle.net/1802/4432},
  pdf		= {http://www.cs.rochester.edu/meetings/TRANSACT07/papers/moore.pdf},
  year		= {2007},
  month		= {aug},
}