Deterministic pushdown store machines and realtime computation (1971)

by S V Cole
Venue:J. Assoc. Comput. Mach