Eugene S. Santos
Depatement of Mathematics, Youngstown State University, Youngstown, Ohio
One-way stack automata
Journal of the ACM (JACM)
A Grammatical Characterization of One-Way Nondeterministic Stack Languages
Formal languages and their relation to automata