A design automation system for electronic switching systems. - T. Hosaka; K. Ueda; H. Matsuura (DAC, 1981)