An algorithm for the solution of fixed-point equations for infinite wordsStephan HeilbrunnerRAIRO. Inform. théor., 14 2 (1980) 131-141DOI: https://doi.org/10.1051/ita/1980140201311
