@misc{indiciae79d9b502cbc0,
  title = {Albert, an intermediate smart-contract language for the Tezos blockchain},
  author = {Bruno Bernardo and Raphaël Cauderlier and Basile Pesin and Julien Tesson},
  year = {2020},
  url = {https://arxiv.org/abs/2001.02630},
  note = {Source identifier: 2001.02630}
}