Contemporary logic design - Randy H. Katz & Gaetano Borriello (Pearson, 2005)