"Analyse et Synthèse des systèmes logiques" - читать интересную книгу автора (Daniel Mange)