Barras, Bruno. “Sets in Coq, Coq in Sets”. Journal of Formalized Reasoning 3, no. 1 (January 1, 2010): 29–48. Accessed March 29, 2024. https://jfr.unibo.it/article/view/1695.