1. The QED manifesto. In: Bundy, A. (ed.) Automated Deduction - CADE-12. CADE 1994. LNCS, vol. 814, pp. 238–251. Springer, Berlin, Heidelberg (1994)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Alama,2011
3. Arias, E.J.G., Pin, B., Jouvelot, P.: jsCoq: towards hybrid theorem proving interfaces. In: Proceedings of UITP 2016, vol. 239, pp. 15–27. EPTCS (2017)
4. Arsac, S.: Coq formalization of graph transformation. Master’s thesis, Université Paris-Cité (2022). https://www.samuelarsac.fr/rapport22.pdf
5. Lecture Notes in Computer Science;L Baresi,2002