Paul Gastin, Antoine Petit. A survey of recognizable languages with infinite traces. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1992, The DEMON Project. Volume 609 of Lecture Notes in Computer Science, pages 392-409, Springer, 1992.
Abstract is missing.