1. Structure and transition-preserving functions of finite automata;Bavel;J. Assoc. Comput. Mach.,1968
2. Bavel, Z., Introduction to the Theory of Automata and Sequential Machines, unpublished.
3. Bavel, Z., Algorithms in the structure and transition-preserving functions of finite automata, unpublished.
4. Connectivity and reversibility in automata;Bavel;J. Assoc. Comput. Mach.,1970
5. On the decomposability of monadic algebras and automata;Bavel,1967