https://123dok.net/document/y6ew164z-on-recognizable-tree-languages-beyond-the-borel-hierarchy.html