C. Cohen, Formalized algebraic numbers: construction and first-order theory, 2012.
URL : https://hal.archives-ouvertes.fr/pastel-00780446

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2009.

A. Guéneau, The procrastination library, 2018.

A. Guéneau, A. Charguéraud, and F. Pottier, A fistful of dollars: Formalizing asymptotic complexity claims via deductive program verification, European Symposium on Programming (ESOP), 2018.

, The Coq development team: The Coq Proof Assistant, 2016.