Luc Boasson Langages Algebriques, Paires Iterantes et Transductions Rationnelles. 209-223 1976 2 Theor. Comput. Sci. 2 db/journals/tcs/tcs2.html#Boasson76