@article{bezem-2019-construction,
  author = {Marc Bezem and Ulrik Buchholtz and Daniel R. Grayson and Michael Shulman},
  title = {Construction of the Circle in UniMath},
  journal = {Journal of Pure and Applied Algebra},
  publisher = {Elsevier BV},
  year = {2021},
  month = {10},
  volume = {225},
  number = {10},
  doi = {10.1016/j.jpaa.2021.106687}
}