The congruence theory of closure properties of regular tree languages
scientific article; zbMATH DE number 4155908