Analysis and design of sequential digital systems. - Lind, L. F.; Nelson, J. C. C.