@book{66535,
	author = {Mange, Daniel,},
	title = {Analysis and synthesis of logic systems /},
	publisher = {Artech House,},
	year = {c1986.},
	address = {Norwood, MA :},
	note = {Translation of: Analyse et synthèse des systèmes logiques.}
}