Contribution à la formalisation de l'amélioration de code par attributs sémantiques - Néel, Danièle (Institut de recherche d'informatique et d'automatique, 1975)