@misc{indiciae1ce5f2d65d61,
  title = {A Logic of Blockchain Updates},
  author = {Kai Brünnler and Dandolo Flumini and Thomas Studer},
  year = {2017},
  url = {https://arxiv.org/abs/1707.01766},
  note = {Source identifier: 1707.01766}
}