Langages Artificiels, Systèmes formels et Traduction automatique Bernard Vauquois author 1962-07 text fra Automatic Translation of Languages NATO Summer School Aldo Ghizzetti editor Pergamon Press Venice conference publication vauquois-1962-langages https://aclanthology.org/1962.earlymt-1.9/ 1962-07 211 236