Contemporary logic design - Katz (The Benjamin/Cummings Publishing company, 1994)