@book{76915,
	author = {Pedroni, Volnei A.},
	title = {Finite state machines in hardware :},
	publisher = {MIT Press,},
	year = {2013},
	address = {Cambridge, MA :}
}