Synthèse logique à base de règles pour les compilateurs de silicium. (Logical synthesis based on the rules for the Si compiler). - Stéphane Hanriat (1986)