Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. - D. Bourget; Remi Legrand (SPLT, 1989)