Ernst L. Leiss
Department of Computer Science, University of Houston, Houston Texas
Some applications of a technique of Sakoda and Sipser
ACM SIGACT News
Nondeterminism and the size of two way finite automata
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing