@misc{indiciae03e9f53f1f53,
  title = {Literature Review: Smart Contract Semantics},
  author = {Varun Mathur},
  year = {2018},
  url = {https://arxiv.org/abs/1901.01815},
  note = {Source identifier: 1901.01815}
}