Nicolas Halbwachs: Détermination automatique de relations linéaires vérifiées par les variables d'un programme. Grenoble Institute of Technology, France 1979