S. V. P., Un système interactif pour la validation et la préparation de programmes.

B. Amy Farid Ouabdesselam S. V. P., Un système interactif pour la validation et la préparation de programmes. 41-58 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#AmyO74