On recognizable and rational formal power series in partially commuting variables (1997)

by M Droste, P Gastin
Venue:LNCS 1256