An algorithm for the solution of fixed-point equations for infinite words Stephan Heilbrunner — 1980 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications