@inproceedings{burckhardt2010concurrent,
  title={Concurrent programming with revisions and isolation types},
  author={Burckhardt, Sebastian and Baldassin, Alexandro and Leijen, Daan},
  booktitle={ACM Sigplan Notices},
  volume={45},
  issue={10},
  pages={691--707},
  year={2010},
  organization={ACM}
}

@inproceedings{burckhardt2011semantics,
  title={Semantics of concurrent revisions},
  author={Burckhardt, Sebastian and Leijen, Daan},
  booktitle={European Symposium on Programming},
  pages={116--135},
  year={2011},
  organization={Springer}
}

@MastersThesis{overbeek2018formalizing,
  author={Roy Overbeek},
  title={Formalizing the Semantics of Concurrent Revisions},
  school={Vrije Universiteit Amsterdam/Universiteit van Amsterdam},
  year={2018},
  note="\url{https://raw.githubusercontent.com/overbk/verifying-concurrent-revisions/master/thesis.pdf}"
}
