Contemporary logic design - Katz, Randy H.; Borrello, Gaetano (Upper Saddle River, N.J: Pearson Education, Inc, 2006)