Star-free trace languages
scientific article; zbMATH DE number 65313
scientific article