The theory of ends, pushdown automata, and second-order logic (1985)

by David E Muller, Paul E Schupp
Venue:Theor. Comput. Sci