Logical design of digital systems - Friedman, Arthur D. (Digital system design series, 1975)