Podelski (eds.). Tree Automata and Languages (1992)

by M Nivat, A