Bezem, Marc, Buchholtz, Ulrik, Grayson, Daniel R., Shulman, Michael, "Construction of the circle in UniMath", Journal of Pure and Applied Algebra, 2021