Multi-tilde-bar expressions and their automata
scientific article; zbMATH DE number 6093701