One-way stack automata (1967)

by S Ginsburg, S A Greibach, M A Harrison
Venue:Journal of the ACM