TY - BOOK ED - PROCEEDING OF THE 1979 JOINT A TI - DESIGN AUTOMATION CONFERENCE U1 - 629.8312 PY - 1979/// CY - Estados Unidos PB - IEEE ER -