@misc{indiciae7fca2d47da9c,
  title = {Computing in Coq with Infinite Algebraic Data Structures},
  author = {César Domínguez and Julio Rubio},
  year = {2010},
  url = {https://arxiv.org/abs/1004.4998},
  note = {Source identifier: 1004.4998}
}