Wolfgang Thomas. Computation tree logic and regular omega-languages. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Volume 354 of Lecture Notes in Computer Science, pages 690-713, Springer, 1988.
Abstract is missing.