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