P. Najman, “Bondy-Chvátal’s Closure and Stability for Simple Graphs - Ideas, Formalisation and Complement”, KREM, no. 904, pp. 53–69, Dec. 2015, doi: 10.15678/krem.822.