FSM-based Digital Design using Verilog HDL - e-bok, Engelska, 2008