Filip Murlak The Wadge Hierarchy of Deterministic Tree Languages http://arxiv.org/abs/0812.1729 2008 CoRR abs/0812.1729 db/journals/corr/corr0812.html#abs-0812-1729 informal publication