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