Bezem, M., Buchholtz, U., Grayson, D. R., & Shulman, M. (2021). Construction of the circle in UniMath. Journal of Pure and Applied Algebra, 225(10), Article 106687. https://doi.org/10.1016/j.jpaa.2021.106687