Logic design system in Japan. - Tohru Moto-Oka; Tadashi Kurachi; Tsutomu Shiino; Masakatsu Sugimoto (DAC, 1975)