An interactive man-machine approach to the computer logic partitioning problemM. HananA. Mennoneet al.1974DAC 1974