Manfred Droste Paul Gastin On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. 608-631 2008 42 Theory Comput. Syst. 4 http://dx.doi.org/10.1007/s00224-007-9064-z db/journals/mst/mst42.html#DrosteG08