Book

Automata, logics, and infinite games

by Erich Grädel, Wolfgang Thomas