Schützenberger's theorem on formal power series follows from Kleene's theorem
scientific article; zbMATH DE number 5306547
scientific article