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