The reduction of two-way automata to one-way automata (1959)

by J C Shepherdson
Venue:IBM J. Research and Development