Digital Logic and State Machine Design - David J Comer (OXFORD UNIVERSITY PRESS New York, 2002)