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