Finite state machines in hardware theory and design (with VHDL and SystemVerilog) - Pedroni, Volnei A. (The MIT Press, 2013)