bezem-2019-construction:
  type: article
  title: Construction of the Circle in UniMath
  author:
  - Bezem, Marc
  - Buchholtz, Ulrik
  - Grayson, Daniel R.
  - Shulman, Michael
  date: 2021-10
  serial-number:
    doi: 10.1016/j.jpaa.2021.106687
  parent:
    type: periodical
    title: Journal of Pure and Applied Algebra
    publisher: Elsevier BV
    issue: 10
    volume: 225