Contemporary logic design - Randy H Katz (Pearson Education, 2005)