Parallel realization of systems, using factorizations and quotients in categoriesJ.A. GoguenJ.W. Thatcheret al.1976Journal of the Franklin Institute
Generalized finite automata theory with an application to a decision problem of second-order logicJ.W. ThatcherJ.B. Wright1968Mathematical Systems Theory