Fundamentals of logic design and switching theory - Friedman, Arthur D. (Computer Science Press, 1986)