Contemporary Logic Design - Randy H Katz (Pearson Education, 2005)