@misc{indiciaedc561c4a7a5c,
  title = {Smart Contract Interactions in Coq},
  author = {Jakob Botsch Nielsen and Bas Spitters},
  year = {2019},
  url = {https://arxiv.org/abs/1911.04732},
  note = {Source identifier: 1911.04732}
}