Circuits numériques et synthèse logique — Maurice Meaudre, Jacques Weber