Analysis and synthesis of logic systems - Mange Daniel (The Artech House Communication and Electronic Defense Library, 1986)