@incollection{Thomas1994,
    Author = {Thomas, Wolfgang and Lescow, Helmut},
    BookTitle = {A Decade of Concurrency Reflections and Perspectives},
    Editor = {Bakker, J.W. and Roever, W.-P. and Rozenberg, G.},
    File = {Logical specifications of infinite computations - Thomas, Lescow (0) (0) - a - a - g.pdf},
    ISBN = {978-3-540-58043-0},
    Keywords = {Infinite words; {$\omega$}-languages; descriptive set theory; Cantor space; Borel hierarchy; recursion theory; B{\"u}chi automata; acceptance conditions; regular {$\omega$}-languages; monadic second-order logic; infinite games; temporal logic; infinite trees},
    Pages = {583-621},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Logical specifications of infinite computations},
    URL = {http://dx.doi.org/10.1007/3-540-58043-3\_29},
    Volume = {803},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58043-3\_29},
    date-added = {2014-01-13 21:13:16 +0000},
    date-modified = {2014-01-13 21:13:16 +0000},
    doi = {10.1007/3-540-58043-3_29}
}

@incollection{Thomas1994, Author = {Thomas, Wolfgang and Lescow, Helmut}, BookTitle = {A Decade of Concurrency Reflections and Perspectives}, Editor = {Bakker, J.W. and Roever, W.-P. and Rozenberg, G.}, File = {Logical specifications of infinite computations - Thomas, Lescow (0) (0) - a - a - g.pdf}, ISBN = {978-3-540-58043-0}, Keywords = {Infinite words; {$\omega$}-languages; descriptive set theory; Cantor space; Borel hierarchy; recursion theory; B{\"u}chi automata; acceptance conditions; regular {$\omega$}-languages; monadic second-order logic; infinite games; temporal logic; infinite trees}, Pages = {583-621}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Logical specifications of infinite computations}, URL = {http://dx.doi.org/10.1007/3-540-58043-3_29}, Volume = {803}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58043-3_29}, date-added = {2014-01-13 21:13:16 +0000}, date-modified = {2014-01-13 21:13:16 +0000}, doi = {10.1007/3-540-58043-3_29} }