Fundamentals of digital logic with Verilog design (2nd edition) - Brown, Stephen (McGraw-Hill Science, 2008)