Digital Design : with An Introduction to the Verilog HDL - Mano, M. Morris (Upper Sadlle River,N.J: Pearson Education,Inc, 2013)
Includes indexes