Raymond Khalil

• Essai de formalisation de la description des compilateurs application à algol 60