Logical design of digital systems - Friedmman, Arthur D. (Computer Science, 1975)