Thomas Herbst Some Remarks on a Theorem of Sakarovitch. 160-165 1992 44 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss44.html#Herbst92