Analysis and design of sequential digital systems - L.F Lind (Macmillan, 1977)