Jeanne Devolder Igor Litovsky Finitely Generated bi-omega-Languages. 33-52 1991 85 Theor. Comput. Sci. 1 db/journals/tcs/tcs85.html#DevolderL91