Contemporary logic design - KATZ, Randy H (The Benjamin/Cumming, 1994)