JA Brzozowski - Journal of the ACM (JACM), 1967 - dl.acm.org
A regular event W is a star event if there exists another event V such that W= V*. In that case,
V is called a root of W. It is shown that every star event has a unique minimum root, which is …