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