@misc{indiciae0606032a2802,
  title = {Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements},
  author = {Tim Wahls},
  year = {2016},
  url = {https://arxiv.org/abs/1606.02669},
  note = {Source identifier: 1606.02669}
}