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