Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL. - Robert Fortier (1975)