J. Arsac, Premières leçons de programmation, 1980.

J. Arsac, Les bases de la programmation , Dunod informatique, 1983.

J. Arsac, La conception des programmes, Pour la science, 1984.

E. W. Dijkstra, A discipline of programming, 1973.

D. Fisette, Définition d'un langage de programmation permettant l'expression d'assertions , mémoire de maîtrise, 1985.

D. Gries, The Science of Programming, 1981.
DOI : 10.1007/978-1-4612-5983-1

W. L. Johnson, Intention-Based Diagnosis of Novice Programming Errors, IEEE Expert, vol.2, issue.3, 1986.
DOI : 10.1109/MEX.1987.4307101

B. and L. Charlier, Réflexions sur le problème de la correction des programmes, 1985.

]. H. Leroy78 and . Eroy, Ecole d'été de l'A, La fiabilité des programmes, 1978.

M. Wenzi, Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions , mémoire de maîtrise, 1987.