The theory of ends, pushdown automata, and secondorder logic (1985)

by D E Muller, P E Schupp
Venue:Theoretical Computer Science