Retrouvé sur la page personnelle de Michel Renovell, les cours de systèmes logiques et de synthèse logique enseignés à Polytech Montpellier