DESIGN AUTOMATION OF DIGITAL SYSTEMS - MELVIN A, BREUER (Estados Unidos PREN, 1972)