PAS-CIP: An interactive logic design system. - Gotaro Odawara; Satoshi Kurishima; Hiroshi Aoyama; Yasuhiko Kanaya (DAC, 1981)