Analyse et synthèse des systèmes logiques — École polytechnique fédérale. Lausanne, Suisse, Daniel Mange