Synthèse des systèmes logiques

Daclin, E ; Blanchard, M.