@misc{indiciaeead4860cb50e,
  title = {Money grows on (proof-)trees: the formal FA1.2 ledger standard},
  author = {Murdoch Gabbay and Arvid Jakobsson and Kristina Sojakova},
  year = {2021},
  doi = {10.4230/oasics.fmbc.2021.2},
  url = {https://arxiv.org/abs/2109.09451},
  note = {Source identifier: 2109.09451}
}