François Dumas Skew Power Series Rings with General Commutation Formula. 99-114 1992 98 Theor. Comput. Sci. 1 db/journals/tcs/tcs98.html#Dumas92