@article{ITA_1980__14_2_131_0, author = {Heilbrunner, Stephan}, title = {An algorithm for the solution of fixed-point equations for infinite words}, journal = {RAIRO. Informatique th\'eorique}, pages = {131--141}, publisher = {EDP-Sciences}, volume = {14}, number = {2}, year = {1980}, mrnumber = {581673}, zbl = {0433.68062}, language = {en}, url = {http://www.numdam.org/item/ITA_1980__14_2_131_0/} }