Analysis and synthesis of logic systems - Mange, Daniel (Artech House, 1979)