@article{barallanguage,
  title={A language to reason about long duration transactions and their concurrent execution},
  author={Baral, Chitta and Loboy, Jorge}
}