@inproceedings{black:equational-theory-transactions:fsttcs:2003,
  author	= {Black, Andrew P. and Cremet, Vincent and Guerraoui, Rachid and Odersky, Martin},
  title		= {An Equational Theory for Transactions},
  booktitle	= {FSTTCS, Springer Verlag},
  year		= {2003},
  pages		= {38-49},
  pdf		= {http://lpdwww.epfl.ch/upload/documents/publications/neg--1391170340EqTrans.pdf.gz}
}