An algorithm for the solution of fixed-point equations for infinite words Stephan Heilbrunner RAIRO. Inform. théor., 14 2 (1980) 131-141 Published online: 01 February 2017 DOI: 10.1051/ita/1980140201311