Bernetand Janin. Tree Automata and Discrete Distributed Games. Springer Berlin Heidelberg, 2005, doi:10.1007/11537311_47.