Contemporary logic design - Katz, Randy H. 1955- (Pearson Prentice Hall, 2005)