@misc{indiciaeafd868a73cbb,
  title = {Implementing and reasoning about hash-consed data structures in Coq},
  author = {Thomas Braibant and Jacques-Henri Jourdan and David Monniaux},
  year = {2015},
  doi = {10.1007/s10817-014-9306-0},
  url = {https://arxiv.org/abs/1311.2959},
  note = {Source identifier: 1311.2959}
}