Tree Automata And Languages door M. Nivat & A. Podelski