https://123dok.net/document/qvl3kwgy-transitive-closures-of-semi-commutation-relations-on-regular-omega-languages.html