Liste des citations dans Numdam pour : An algorithm for the solution of fixed-point equations for infinite words

RAIRO. Informatique théorique, Tome 14 (1980) no. 2, pp. 131-141