Isomorph-Redundancy in Sequential Circuits. - Debesh K. Das; Uttam K. Bhattacharya; Bhargab B. Bhattacharya (IEEE Trans. Computers, 2000)