Fundamentals of digital logic with Verilog design - Brown, Stephen (McGraw-Hill, 2003)