DIGITAL LOGIC AND STATE MACHINE DESIGN - COMER, DAVID J (NEW YORK OXFORD UNIVERSITY PREES, 2004)