Michael A. Harrison A Remark on Determining the Number of States of a Sequential Machine. 689-690 1967 16 IEEE Trans. Electron. Comput. 5 https://doi.org/10.1109/PGEC.1967.264788 db/journals/tc/tc16.html#Harrison67