Premières leçons de programmation, 1980. ,
Les bases de la programmation , Dunod informatique, 1983. ,
La conception des programmes, Pour la science, 1984. ,
A discipline of programming, 1973. ,
Définition d'un langage de programmation permettant l'expression d'assertions , mémoire de maîtrise, 1985. ,
The Science of Programming, 1981. ,
DOI : 10.1007/978-1-4612-5983-1
Intention-Based Diagnosis of Novice Programming Errors, IEEE Expert, vol.2, issue.3, 1986. ,
DOI : 10.1109/MEX.1987.4307101
Réflexions sur le problème de la correction des programmes, 1985. ,
Ecole d'été de l'A, La fiabilité des programmes, 1978. ,
Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions , mémoire de maîtrise, 1987. ,