Les Raisons des choix dans la définition formelle du langage ADA — Véronique Donzeau-Gouge