Fundamentals of digital logic with verilog design - Brown, Stephen D. (McGraw-Hill, 2003)