https://123dok.net/document/yng03plz-on-labeled-birooted-tree-languages-algebras-automata-and-logic.html