@INPROCEEDINGS{Leijen:semanticsrevisions,
  author    = {Burckhardt, Sebastian and Leijen, Daan},
  title     = {Semantics of Concurrent Revisions},
  institution = {Microsoft Research},
  year = 2010,
  month = Jul,
  number = {{MSR-TR-2010-94}}
}