Contemporary logic design - Katz, Randy H. (Pearson Prentice Hall, 2005)