S. V. P., Un système interactif pour la validation et la préparation de programmes. - B. Amy; Farid Ouabdesselam (Symposium on Programming, 1974)