TY  - RPRT
TI  - Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
AU  - Alex Auvolat
AU  - Davide Frey
AU  - Michel Raynal
AU  - François Taïani
PY  - 2021
UR  - https://arxiv.org/abs/2006.12276
ID  - 2006.12276
ER  -