Analysis and design of sequential digital systems - Lind, Larry Frederick (Wiley, 1977)