1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thèse de Church / Post. Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel
1994 Initiation à PROLOG en classe de terminale. Auteurs : Charras Christian ; Colin G. ; Nicolle Jean-Pierre ; Quere J.