1. Blanqui, F., Coupet-Grimal, S., Delobel, W., Hinderer, S., Koprowski, A.: CoLoR, a Coq Library on Rewriting and termination. In: Extended Abstracts of the 8th International Workshop on Termination, WST 2006 (2006).
http://color.loria.fr/
2. Lecture Notes in Computer Science;A. Boudet,1994
3. Lecture Notes in Computer Science;E. Contejean,2004
4. Contejean, E. Coccinelle, (2005)
http://www.lri.fr/~contejea/Coccinelle/coccinelle.html
5. Coupet-Grimal, S., Delobel, W.: Une preuve effective de la bonne fondation de l’ordre récursif multi-ensemble sur les chemins. In: Dix-septièmes Journées Francophones des Langages Applicatifs. INRIA, INRIA, (January 2006)