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