Iterated pushdown automata and complexity classes (1983)

by J Engelfriet
Venue:In STOC