C. C. Elgot;J. D. Rutledge
International Business Machines Corporation, Watson Research Center, Yorktown Heights, New York;International Business Machines Corporation, Watson Research Center, Yorktown Heights, New York
Reversal-Bounded Multicounter Machines and Their Decision Problems
Journal of the ACM (JACM)
Multi-tape and infinite-state automata—a survey
Communications of the ACM