Design automation of digital systems - Breuer, Melvin A. (Prentice Hall, 1972)