1. “Structure and Transition-Preserving Functions of Finite Automata.”;Bavel;J.ACM,1968
2. Bavel, Z. Introduction to the Theory of Automata and Sequential Machines. To appear.
3. Bavel, Z. “Algorithms in the Structure and Transition-Preserving Functions of Finite Automata.” To appear.
4. “Connectivity and Reversibility in Automata.”;Bavel;J.ACM,1970
5. Bavel, Z. and Thomas, J. W. “On the Decomposability of Monadic Algebras and Automata.” 1967 IEEE Conf. Rec. on Switching and Automata Theory (Oct. 1967), 322–335.