@misc{indiciae33dd4145742c,
  title = {While Loops in Coq},
  author = {David Nowak and Vlad Rusu},
  year = {2023},
  doi = {10.4204/eptcs.389.8},
  url = {https://arxiv.org/abs/2309.13802},
  note = {Source identifier: 2309.13802}
}