DESIGN AUTOMATION OF DIGITAL SYSTEMS;V1 THEORY AND TECHNIQUES. - Breuer, Melvin A. (PRENTICE-HALL, 1972)