Shop Analyse Et Synthèse Des Systèmes Logiques 1995