Comer <br/><br/>
Digital Logic State Machine Design 

 -  Oxford University  2010 
<br/><br/><br/>ENGLISH