@INPROCEEDINGS{Leijen:revisions,
  author   = {Sebastian Burckhardt and Alexandro Baldassion and Daan Leijen},
  title    = {Concurrent Programming with Revisions and Isolation Types},
  booktitle= {{OOPSLA}'10},
  year     = 2010,
  month    = Oct,
  location = {Reno, Nevada}
}