Fundamentals of digital logic with verilog design - Brown (McGraw-Hill, 2008)