@misc{indiciaee8fba40ca694,
  title = {Formaleuros, Formalbitcoins, and Virtual Monies},
  author = {Jan A. Bergstra},
  year = {2013},
  url = {https://arxiv.org/abs/1008.0616},
  note = {Source identifier: 1008.0616}
}