Design Automation of Digital Systems - Breuer, Melvin A. (Prentice-Hall, 1972)
περιέχει βιβλιογραφία και προβλήματα