@misc{indiciae7f62a3cbc5e6,
  title = {Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof},
  author = {Alex Auvolat and Davide Frey and Michel Raynal and François Taïani},
  year = {2021},
  url = {https://arxiv.org/abs/2006.12276},
  note = {Source identifier: 2006.12276}
}