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