Contemporary logic design - Katz Randy H. (Benjamin/Cummings, 1994)