Contemporary logic design - Katz, Randy H. 1955-; Borriello, Gaetano (Pearson Prentice Hall, 2005)