"Automata, Logics, and Infinite Games: A Guide to Current Research" - читать интересную книгу автора (Erich Grädel, Wolfgang Thomas, Thomas Wilke)