1. Algebraic Structure Theory of Sequential Machines;Hartmanis,1966
2. Patitioning real finite automata: a progress report;Foster;AT&T Bell Laboratories internal memorandum,1988
3. Algebraic FSM factorization experiments;Dunlop,1988
4. FSM decomposition revisited: algebraic structure theory applied to MCNC benchmark FSMs;Geiger,1991
5. Decomposition and factorization of sequential finite state machines;Devadas;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1989