Introduction to logic design - Marcovitz (McGraw-Hill Higher Education, 2008)