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